the inductive approach to strand space

ISCAS OpenIR

	the inductive approach to strand space
	Li YJ
	2005
会议名称	25th International Conference on Formal Techniques for Networked and Distributed Systems
会议录名称	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
页码	547-552
会议日期	OCT 02-05,
会议地点	Taipei, TAIWAN
收录类别	sci ; istp ; ei
出版地	HEIDELBERGER PLATZ 3, D-14197 BERLIN, GERMANY
出版者	FORMAL TECHNIQUES FOR NETWORKED AND DISTRIBUTED SYSTEMS - FORTE 2005
ISSN	0302-9743
ISBN	3-540-29189-X
部门归属	Chinese Acad Sci, Key Lab Comp Sci, Beijing, Peoples R China. Chinese Acad Sci, Inst Software, State Key Lab Informat Secur, Beijing, Peoples R China.
摘要	Strand space is a promising technique developed by Guttman et al. from MITRE company, and it provides us an intuitive and clear framework to analyze security protocols, but its mechanics of the proof tend to be quite intricate and not necessar
关键词	Data Processing Graph Theory Network Protocols
主办者	IFIP Working Grp 6 1
语种	英语
WOS记录号	WOS:000233597000043
引用统计	被引频次：1[WOS] [WOS记录] [WOS相关记录]
内容类型	会议论文
URI标识	http://ir.iscas.ac.cn/handle/311060/12718
专题	中国科学院软件研究所
推荐引用方式 GB/T 7714	Li YJ. the inductive approach to strand space[C]. HEIDELBERGER PLATZ 3, D-14197 BERLIN, GERMANY:FORMAL TECHNIQUES FOR NETWORKED AND DISTRIBUTED SYSTEMS - FORTE 2005,2005:547-552.

条目包含的文件
文件名称/大小	文献类型	版本类型	开放类型	使用许可
the inductive approa（121KB）			开放获取	--	请求全文