new semantic model for authentication protocols in asms

ISCAS OpenIR

	new semantic model for authentication protocols in asms
	Xue R; Feng DG
	2004
发表期刊	JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY
ISSN	1000-9000
卷号	19 期号:4 页码:555-563
收录类别	sci ; acm
关键词	Cryptographic Protocol Formal Analysis Abstract State Machine (Asm) Authentication Protocol
部门归属	Chinese Acad Sci, Inst Software, State Key Lab Informat Secur, Beijing 100080, Peoples R China.
学科领域	Computer Science, Hardware & Architecture ; Computer Science, Software Engineering
语种	英语
WOS记录号	WOS:000222789900014
引用统计
内容类型	期刊论文
URI标识	http://ir.iscas.ac.cn/handle/311060/12908
专题	中国科学院软件研究所
推荐引用方式 GB/T 7714	Xue R,Feng DG. new semantic model for authentication protocols in asms[J]. JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY,2004,19(4):555-563.
APA	Xue R,&Feng DG.(2004).new semantic model for authentication protocols in asms.JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY,19(4),555-563.
MLA	Xue R,et al."new semantic model for authentication protocols in asms".JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY 19.4(2004):555-563.