Institutional Repository
| an inductive approach to provable anonymity | |
| Li Yongjian; Pang Jun | |
| 2011 | |
| Conference Name | 2011 6th International Conference on Availability, Reliability and Security, ARES 2011 |
| Source | Proceedings of the 2011 6th International Conference on Availability, Reliability and Security, ARES 2011 |
| Pages | 454-459 |
| Conference Date | August 22, |
| Conference Place | Vienna, Austria |
| Indexed Type | EI |
| ISBN | 9780769544854 |
| Department | (1) State Key Laboratory of Computer Sciences Institute of Software Chinese Academy of Sciences China; (2) Computer Science and Communications University of Luxembourg Luxembourg |
| English Abstract | We formalise in a theorem prover the notion of provable anonymity proposed by Garcia et al. Our formalization relies on inductive definitions of message distinguish ability and observational equivalence over observed traces by the intruder. Our theory differs from its original proposal which essentially boils down to the existence of a reinterpretation function. We build our theory in Isabelle/HOL to have a mechanical framework for the analysis of anonymity protocols. Its feasibility is illustrated through the onion routing protocol. © 2011 IEEE.; We formalise in a theorem prover the notion of provable anonymity proposed by Garcia et al. Our formalization relies on inductive definitions of message distinguish ability and observational equivalence over observed traces by the intruder. Our theory differs from its original proposal which essentially boils down to the existence of a reinterpretation function. We build our theory in Isabelle/HOL to have a mechanical framework for the analysis of anonymity protocols. Its feasibility is illustrated through the onion routing protocol. © 2011 IEEE. |
| Language | 英语 |
| Content Type | 会议论文 |
| URI | http://ir.iscas.ac.cn/handle/311060/16229 |
| Collection | 中国科学院软件研究所 |
| Recommended Citation GB/T 7714 | Li Yongjian,Pang Jun. an inductive approach to provable anonymity[C],2011:454-459. |
| Files in This Item: | There are no files associated with this item. | |||||
Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.
Edit Comment