Institutional Repository
| 串空间理论扩展 | |
| 沈海峰; 薛锐; 黄河燕; 陈肇雄 | |
| 2005 | |
| Source | 软件学报
 |
| ISSN | 10009825 |
| Volume | 16Issue:10Pages:1784-1789 |
| English Abstract | 现有的串空间模型由于没有抽象更多的密码学原语,因此不能分析较复杂的安全协议.希望通过对串空间理论的扩展使其充分地表达较多的密码学原语,以满足分析复杂安全协议的需要.对入侵串轨迹增加了签名、签名验证和HMAC(keyed-hashingformessageauthenticationcode)函数模型,重新定义了理想概念并对衍生出的相关命题和定理进行了证明.扩展的诚实理想分析模型不仅继承了原理论的性质,而且适合分析含丰富密码原语的协议,如JFK和IKE2. |
| Indexed Type | cnki ; ei |
| Keyword | 安全协议,串空间,理想,诚实理想formal Logic Network Protocols Security Of Data |
| Department | 中国科学技术大学计算机科学技术系,信息安全国家重点实验室(中国科学院软件研究所),中国科学技术大学计算机科学技术系,中国科学技术大学计算机科学技术系 安徽合肥230026,北京100080,安徽合肥230026中国科学院计算机语言信息工程研究中心,北京100083,安徽合肥230026中国科学院计算机语言信息工程研究中心,北京100083 |
| Language | 中文 |
| Content Type | 期刊论文 |
| URI | http://ir.iscas.ac.cn/handle/311060/12424 |
| Collection | 中国科学院软件研究所 |
| Recommended Citation GB/T 7714 | 沈海峰,薛锐,黄河燕,等. 串空间理论扩展[J]. 软件学报,2005,16(10):1784-1789. |
| APA | 沈海峰,薛锐,黄河燕,&陈肇雄.(2005).串空间理论扩展.软件学报,16(10),1784-1789. |
| MLA | 沈海峰,et al."串空间理论扩展".软件学报 16.10(2005):1784-1789. |
| Files in This Item: | ||||||
| File Name/Size | DocType | Version | Access | License | ||
| 串空间理论扩展.pdf（391KB） | 开放获取 | -- | Application Full Text | |||
Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.
Edit Comment