题名: | 串空间理论扩展 |
作者: | 沈海峰
; 薛锐
; 黄河燕
; 陈肇雄
|
关键词: | 安全协议,串空间,理想,诚实理想Formal logic
; Network protocols
; Security of data
|
刊名: | 软件学报
|
发表日期: | 2005
|
卷: | 16, 期:10, 页:1784-1789 | 收录类别: | cnki
; ei
|
部门归属: | 中国科学技术大学计算机科学技术系,信息安全国家重点实验室(中国科学院软件研究所),中国科学技术大学计算机科学技术系,中国科学技术大学计算机科学技术系 安徽合肥230026,北京100080,安徽合肥230026中国科学院计算机语言信息工程研究中心,北京100083,安徽合肥230026中国科学院计算机语言信息工程研究中心,北京100083
|
摘要: | 现有的串空间模型由于没有抽象更多的密码学原语,因此不能分析较复杂的安全协议.希望通过对串空间理论的扩展使其充分地表达较多的密码学原语,以满足分析复杂安全协议的需要.对入侵串轨迹增加了签名、签名验证和HMAC(keyed-hashingformessageauthenticationcode)函数模型,重新定义了理想概念并对衍生出的相关命题和定理进行了证明.扩展的诚实理想分析模型不仅继承了原理论的性质,而且适合分析含丰富密码原语的协议,如JFK和IKE2. |
语种: | 中文
|
内容类型: | 期刊论文
|
URI标识: | http://ir.iscas.ac.cn/handle/311060/12424
|
Appears in Collections: | 软件所图书馆_期刊论文
|
File Name/ File Size |
Content Type |
Version |
Access |
License |
|
串空间理论扩展.pdf(391KB) | -- | -- | 限制开放 | -- | 联系获取全文 |
|
Recommended Citation: |
沈海峰,薛锐,黄河燕,等. 串空间理论扩展[J]. 软件学报,2005-01-01,16(10):1784-1789.
|
|
|