基于理想的协议安全性分析
文献类型:期刊论文
作者 | 孙海波 ; 林东岱 ; 李莉 |
刊名 | 软件学报
![]() |
出版日期 | 2005 |
卷号 | 16期号:12页码:2150-2156 |
关键词 | 串空间 密码协议 理想 strand space cryptographic protocol ideal |
ISSN号 | 1000-9825 |
其他题名 | protocols security analysis based on ideal |
中文摘要 | 1998年,Guttman等人提出了串空间理论作为一种新的密码协议形式化分析的工具.并在1999年第1次引入了关于消息代数上的理想以及诚实的概念来分析协议的保密性.由于理想结构的特殊性使得它可以刻画协议运行中消息之间的关系,利用理想的结构来分析协议的一些安全性质,例如保密性、认证性、零知识性以及如何抵抗猜测攻击. |
收录类别 | ei,wanfang,cscd |
语种 | 中文 |
公开日期 | 2010-08-19 |
附注 | Guttman et al. introduced a new formulation method, strand spaces theory as a new method for describing and analyzing cryptographic protocols in 1998 and Guttman introduced the ideal of information algebra and honesty to analyze the secrecy of Otway-Rees protocol in 1999. Because of the property of ideal, it can be used to show the relation between different information in some protocol. In this paper, the ideal will be appied to analyze some security properties of cryptographic protocols, such as secrecy, authentication, and so on. |
源URL | [http://124.16.136.157/handle/311060/3402] ![]() |
专题 | 软件研究所_信息安全国家重点实验室_期刊论文 |
推荐引用方式 GB/T 7714 | 孙海波,林东岱,李莉. 基于理想的协议安全性分析[J]. 软件学报,2005,16(12):2150-2156. |
APA | 孙海波,林东岱,&李莉.(2005).基于理想的协议安全性分析.软件学报,16(12),2150-2156. |
MLA | 孙海波,et al."基于理想的协议安全性分析".软件学报 16.12(2005):2150-2156. |
入库方式: OAI收割
来源:软件研究所
浏览0
下载0
收藏0
其他版本
除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。