中国科学院软件研究所机构知识库
Advanced  
ISCAS OpenIR  > 软件所图书馆  > 2009年期刊/会议论文
题名:
verifying anonymous credential systems in applied pi calculus
作者: Li Xiangxi ; Zhang Yu ; Deng Yuxin
会议文集: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
会议名称: 8th International Conference on Cryptology and Network Security, CANS 2009
会议日期: 40878
出版日期: 2009
会议地点: Kanazawa, Japan
关键词: Cryptography ; Internet
出版地: Germany
收录类别: ei,acm
ISSN: 3029743
ISBN: 3642104320
部门归属: (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
英文摘要: 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.
语种: 英语
内容类型: 会议论文
URI标识: http://ir.iscas.ac.cn/handle/311060/8536
Appears in Collections:中科院软件所图书馆_2009年期刊/会议论文

Files in This Item:

There are no files associated with this item.


Recommended Citation:
Li Xiangxi,Zhang Yu,Deng Yuxin. verifying anonymous credential systems in applied pi calculus[C]. 见:8th International Conference on Cryptology and Network Security, CANS 2009. Kanazawa, Japan. 40878.
Service
Recommend this item
Sava as my favorate item
Show this item's statistics
Export Endnote File
Google Scholar
Similar articles in Google Scholar
[Li Xiangxi]'s Articles
[Zhang Yu]'s Articles
[Deng Yuxin]'s Articles
CSDL cross search
Similar articles in CSDL Cross Search
[Li Xiangxi]‘s Articles
[Zhang Yu]‘s Articles
[Deng Yuxin]‘s Articles
Related Copyright Policies
Null
Social Bookmarking
Add to CiteULike Add to Connotea Add to Del.icio.us Add to Digg Add to Reddit
所有评论 (0)
暂无评论
 
评注功能仅针对注册用户开放,请您登录
您对该条目有什么异议,请填写以下表单,管理员会尽快联系您。
内 容:
Email:  *
单位:
验证码:   刷新
您在IR的使用过程中有什么好的想法或者建议可以反馈给我们。
标 题:
 *
内 容:
Email:  *
验证码:   刷新

Items in IR are protected by copyright, with all rights reserved, unless otherwise indicated.

 

 

Valid XHTML 1.0!
Copyright © 2007-2017  中国科学院软件研究所 - Feedback
Powered by CSpace