Institutional Repository
| verifying anonymous credential systems in applied pi calculus | |
| Li Xiangxi; Zhang Yu; Deng Yuxin | |
| 2009 | |
| Conference Name | 8th International Conference on Cryptology and Network Security, CANS 2009 |
| Source | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
| Pages | 209-225 |
| Conference Date | 40878 |
| Conference Place | Kanazawa, Japan |
| Indexed Type | ei,acm |
| Publish Place | Germany |
| ISSN | 3029743 |
| ISBN | 3642104320 |
| Department | (1) Department of Computer Science and Engineering, Shanghai Jiao Tong University, Shanghai, China; (2) Laboratory for Computer Science, Institute of Software, Chinese Academy of Sciences, Beijing, China |
| English Abstract | Anonymous credentials are widely used to certify properties of a credential owner or to support the owner to demand valuable services, while hiding the users identity at the same time. A credential system (a.k.a. pseudonym system) usually consists of multiple interactive procedures between users and organizations, including generating pseudonyms, issuing credentials and verifying credentials, which are required to meet various security properties. We propose a general symbolic model (based on the applied pi calculus) for anonymous credential systems and give formal definitions of a few important security properties, including pseudonym and credential unforgeability, credential safety, pseudonym untraceability. We specialize the general formalization and apply it to the verification of a concrete anonymous credential system proposed by Camenisch and Lysyanskaya. The analysis is done automatically with the tool ProVerif and several security properties have been verified. © 2009 Springer-Verlag. |
| Keyword | Cryptography Internet |
| Language | 英语 |
| Content Type | 会议论文 |
| URI | http://ir.iscas.ac.cn/handle/311060/8536 |
| Collection | 2009年期刊/会议论文 |
| Recommended Citation GB/T 7714 | Li Xiangxi,Zhang Yu,Deng Yuxin. verifying anonymous credential systems in applied pi calculus[C]. Germany,2009:209-225. |
| 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