Security Analysis of Cryptographic Protocols Based on Trusted Freshness
Security Analysis of Cryptographic Protocols Based on Trusted Freshness
复制标题
基于可信新鲜度的密码协议安全分析
DOI：
--
复制
发表时间：
2008-12
期刊：
影响因子：
--
通讯作者：
中科院分区：
文献类型：
--
作者：
提出了一种基于可信新鲜度的协议安全分析新思路。这个想法不仅是手工实现的，而且是由自动化的信念多集形式主义实现的。基于可信新鲜度的安全性分析的关键是新鲜度原则：对于加密协议的每个参与者，协议的安全性仅取决于消息的发送或接收的单向转换，其中包括可信新鲜度。人工安全分析方法和信念多集形式都是基于新鲜度原则建立的。基于可信新鲜度的安全分析可以有效地区分消息是否新鲜，分析结果从缺乏安全属性的情况下令人信服地提出了协议的正确性或直观地构造攻击的方法。此外，基于可信新鲜度的安全分析与协议的理想化、攻击者可能行为的具体形式化以及协议并发运行的形式化无关。
A novel idea of protocol security analysis is presented based on trusted freshness. The idea has been implemented not only by hand but also by a belief multisets formalism for automation. The key of the security analysis based on trusted freshness is a freshness principle: for each participant of a cryptographic protocol, the security of the protocol depends only on the sent or received one-way transformation of a message, which includes a trusted freshness. The manual security analysis method and the belief multisets formalism are all established on the basis of the freshness principle. Security analysis based on trusted freshness can efficiently distinguish whether a message is fresh or not, and the analysis results suggest the correctness of a protocol convincingly or the way to construct attacks intuitively from the absence of security properties. Furthermore, the security analysis based on trusted freshness is independent of the idealization of a protocol the concrete formalization of attackers' possible behaviors, and the formalization of concurrent runs of protocols.
影响因子：
4
作者：
Yanjiang Yang;F. Bao
通讯作者：
Yanjiang Yang;F. Bao
DOI：
--
发表时间：
2008-12
期刊：
--
影响因子：
--
作者：
Hung-Yu Chien;Tzong-Chen Wu
通讯作者：
Hung-Yu Chien;Tzong-Chen Wu