串空间理论在网络安全协议形式化分析中应用

ISCAS OpenIR > 信息安全国家重点实验室

	串空间理论在网络安全协议形式化分析中应用
Alternative Title	application of strand space theory to formalization analyses of network protocol
	孙海波; 林东岱; 黄寄洪
	2003
Source	大连理工大学学报
Volume	43 Issue:z1 Pages:40306
Indexed Type	ei,wanfang
Keyword	串空间安全协议网络
Department	信息安全国家重点实验室
Content Type	期刊论文
URI	http://ir.iscas.ac.cn/handle/311060/3386
Collection	信息安全国家重点实验室
Recommended Citation GB/T 7714	孙海波,林东岱,黄寄洪. 串空间理论在网络安全协议形式化分析中应用[J]. 大连理工大学学报,2003,43(z1):40306.
APA	孙海波,林东岱,&黄寄洪.(2003).串空间理论在网络安全协议形式化分析中应用.大连理工大学学报,43(z1),40306.
MLA	孙海波,et al."串空间理论在网络安全协议形式化分析中应用".大连理工大学学报 43.z1(2003):40306.

Related Services

Bookmark

Google Scholar

Similar articles in Bing Scholar

Terms of Use

No data!

Social Bookmark/Share

All comments (0)

No comment.

The comment function is only available to registered usersLog In

If you have any objections to this item, please fill out the form below and the administrator will contact you as soon as possible.
Content:
Email：	*
Institution:
Verification Code:	Refresh

Any comments and suggestions are welcomed.
Title:	*
Content:
Email：	*
Verification Code:	Refresh

中国科学院软件研究所机构知识库