Institutional Repository
| using spin to model cryptographic protocols | |
| Li YJ; Xue R | |
| 2004 | |
| Conference Name | International Conference on Information Technology - Coding and Computing |
| Pages | 741-745 |
| Conference Date | APR 05-07, |
| Conference Place | Las Vegas, NV |
| Indexed Type | istp |
| Publish Place | 10662 LOS VAQUEROS CIRCLE, PO BOX 3014, LOS ALAMITOS, CA 90720-1264 USA |
| Publisher | ITCC 2004: INTERNATIONAL CONFERENCE ON INFORMATION TECHNOLOGY: CODING AND COMPUTING, VOL 2, PROCEEDINGS |
| ISBN | 0-7695-2108-8 |
| Department | Chinese Acad Sci, Inst Software, Comp Sci Lab, Beijing 100080, Peoples R China. |
| English Abstract | We explore the useof Spitz to model cryptographic protocols, and propose a general method to define the data structures used in the verification, such as facts, the intruders knowledge, and so on. Based on this, we develop a general method to |
| Sponsorship | IEEE Comp Soc |
| Language | 英语 |
| Content Type | 会议论文 |
| URI | http://ir.iscas.ac.cn/handle/311060/13038 |
| Collection | 中国科学院软件研究所 |
| Recommended Citation GB/T 7714 | Li YJ,Xue R. using spin to model cryptographic protocols[C]. 10662 LOS VAQUEROS CIRCLE, PO BOX 3014, LOS ALAMITOS, CA 90720-1264 USA:ITCC 2004: INTERNATIONAL CONFERENCE ON INFORMATION TECHNOLOGY: CODING AND COMPUTING, VOL 2, PROCEEDINGS,2004:741-745. |
| Files in This Item: | ||||||
| File Name/Size | DocType | Version | Access | License | ||
| 01286745.pdf（1364KB） | 开放获取 | -- | Application Full Text | |||
Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.
Edit Comment