study on strand space model theory

ISCAS OpenIR

	study on strand space model theory
	Ji QG; Qing SH; Zhou YB; Feng DG
	2003
发表期刊	JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY
ISSN	1000-9000
卷号	18 期号:5 页码:553-570
收录类别	sci ; acm
关键词	Constructing Attack Formalizing Method Network Security Protocol Generalized Strand Space Model
部门归属	Chinese Acad Sci, Inst Software, State Key Lab Informat Secur, Beijing 100080, Peoples R China. Chinese Acad Sci, Inst Software, Engn Res Ctr Informat Secur Technol, Beijing 100080, Peoples R China.
学科领域	Computer Science, Hardware & Architecture ; Computer Science, Software Engineering
语种	英语
WOS记录号	WOS:000185548200003
引用统计	被引频次：12[WOS] [WOS记录] [WOS相关记录]
内容类型	期刊论文
URI标识	http://ir.iscas.ac.cn/handle/311060/13178
专题	中国科学院软件研究所
推荐引用方式 GB/T 7714	Ji QG,Qing SH,Zhou YB,et al. study on strand space model theory[J]. JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY,2003,18(5):553-570.
APA	Ji QG,Qing SH,Zhou YB,&Feng DG.(2003).study on strand space model theory.JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY,18(5),553-570.
MLA	Ji QG,et al."study on strand space model theory".JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY 18.5(2003):553-570.