using spin to model cryptographic protocols

ISCAS OpenIR

	using spin to model cryptographic protocols
	Li YJ; Xue R
	2004
会议名称	International Conference on Information Technology - Coding and Computing
页码	741-745
会议日期	APR 05-07,
会议地点	Las Vegas, NV
收录类别	istp
出版地	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
ISBN	0-7695-2108-8
部门归属	Chinese Acad Sci, Inst Software, Comp Sci Lab, Beijing 100080, Peoples R China.
摘要	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
主办者	IEEE Comp Soc
语种	英语
内容类型	会议论文
URI标识	http://ir.iscas.ac.cn/handle/311060/13038
专题	中国科学院软件研究所
推荐引用方式 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.