中国科学院机构知识库网格
Chinese Academy of Sciences Institutional Repositories Grid
基于理想的协议安全性分析

文献类型:期刊论文

作者孙海波 ; 林东岱 ; 李莉
刊名软件学报
出版日期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
其他版本

除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。