| generalized unsolicited tests for authentication protocol analysis |
| Li Yongjian; Pang Jun
|
| 2006
|
| 会议名称 | 7th International Conference on Parallel and Distrubuted Computing, Applications and Technologies
|
| 页码 | 509-514
|
| 会议日期 | DEC 04-07,
|
| 会议地点 | Taipei, TAIWAN
|
| 出版地 | 10662 LOS VAQUEROS CIRCLE, PO BOX 3014, LOS ALAMITOS, CA 90720-1264 USA
|
| 出版者 | SEVENTH INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED COMPUTING, APPLICATIONS AND TECHNOLOGIES, PROCEEDINGS
|
| ISBN | 978-0-7695-2736-9
|
| 部门归属 | Chinese Acad Sci, Inst Software, Comp Sci Lab, Beijing 100864, Peoples R China.
|
| 摘要 | Guttman and Javier Thayer introduced the notion of unsolicited authentication tests, and used it to prove the correctness of security protocols in which a key server authenticate its clients. As an example, they have applied unsolicited authen |
| 关键词 | Strand Space
Authentication
Cryptographic Protocols
The Otway-rees Protocol
|
| 主办者 | IEEE Comp Soc, Inst Elect, Informat & Commun Engineers, Inst Informat Sci Acad Sinica, Natl United Univ, Natl TaiwanUniv Sci & Technol
|
| 内容类型 | 会议论文
|
| URI标识 | http://ir.iscas.ac.cn/handle/311060/12002
|
| 专题 | 基础软件与系统重点实验室
|
推荐引用方式
GB/T 7714 |
Li Yongjian,Pang Jun. generalized unsolicited tests for authentication protocol analysis[C]. 10662 LOS VAQUEROS CIRCLE, PO BOX 3014, LOS ALAMITOS, CA 90720-1264 USA:SEVENTH INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED COMPUTING, APPLICATIONS AND TECHNOLOGIES, PROCEEDINGS,2006:509-514.
|
修改评论