| 串空间理论在网络安全协议形式化分析中应用 |
| 其他题名 | application of strand space theory to formalization analyses of network protocol
|
| 孙海波; 林东岱; 黄寄洪
|
| 2003
|
| 发表期刊 | 大连理工大学学报
 |
| 卷号 | 43期号:z1页码:40306 |
| 收录类别 | ei,wanfang
|
| 关键词 | 串空间
安全协议
网络
|
| 部门归属 | 信息安全国家重点实验室
|
| 内容类型 | 期刊论文
|
| URI标识 | http://ir.iscas.ac.cn/handle/311060/3386
|
| 专题 | 信息安全国家重点实验室
|
推荐引用方式
GB/T 7714 |
孙海波,林东岱,黄寄洪. 串空间理论在网络安全协议形式化分析中应用[J]. 大连理工大学学报,2003,43(z1):40306.
|
| APA |
孙海波,林东岱,&黄寄洪.(2003).串空间理论在网络安全协议形式化分析中应用.大连理工大学学报,43(z1),40306.
|
| MLA |
孙海波,et al."串空间理论在网络安全协议形式化分析中应用".大连理工大学学报 43.z1(2003):40306.
|
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。
修改评论