| 串空间理论扩展 |
| 沈海峰; 薛锐; 黄河燕; 陈肇雄
|
| 2005
|
| 发表期刊 | 软件学报
 |
| ISSN | 10009825
|
| 卷号 | 16期号:10页码:1784-1789 |
| 摘要 | 现有的串空间模型由于没有抽象更多的密码学原语,因此不能分析较复杂的安全协议.希望通过对串空间理论的扩展使其充分地表达较多的密码学原语,以满足分析复杂安全协议的需要.对入侵串轨迹增加了签名、签名验证和HMAC(keyed-hashingformessageauthenticationcode)函数模型,重新定义了理想概念并对衍生出的相关命题和定理进行了证明.扩展的诚实理想分析模型不仅继承了原理论的性质,而且适合分析含丰富密码原语的协议,如JFK和IKE2. |
| 收录类别 | cnki
; ei
|
| 关键词 | 安全协议,串空间,理想,诚实理想formal Logic
Network Protocols
Security Of Data
|
| 部门归属 | 中国科学技术大学计算机科学技术系,信息安全国家重点实验室(中国科学院软件研究所),中国科学技术大学计算机科学技术系,中国科学技术大学计算机科学技术系 安徽合肥230026,北京100080,安徽合肥230026中国科学院计算机语言信息工程研究中心,北京100083,安徽合肥230026中国科学院计算机语言信息工程研究中心,北京100083
|
| 语种 | 中文
|
| 内容类型 | 期刊论文
|
| URI标识 | http://ir.iscas.ac.cn/handle/311060/12424
|
| 专题 | 中国科学院软件研究所
|
推荐引用方式
GB/T 7714 |
沈海峰,薛锐,黄河燕,等. 串空间理论扩展[J]. 软件学报,2005,16(10):1784-1789.
|
| APA |
沈海峰,薛锐,黄河燕,&陈肇雄.(2005).串空间理论扩展.软件学报,16(10),1784-1789.
|
| MLA |
沈海峰,et al."串空间理论扩展".软件学报 16.10(2005):1784-1789.
|
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。
修改评论