| 基于概率可观察等价性的安全协议分析 |
| |
| 引用本文： | 张 锋,熊选东,贾学东. 基于概率可观察等价性的安全协议分析[J]. 信息工程大学学报, 2007, 8(2): 161-164 |
| |
| 作者姓名： | 张 锋 熊选东 贾学东 |
| |
| 作者单位： | 1. 信息工程大学,电子技术学院,河南,郑州,450004
2. 信息工程大学,科研部,河南,郑州,450002 |
| |
| 摘 要： | 针对Spi演算在安全协议分析中存在的局限性,通过引入概率多项式时间进程,提出了一个分析安全协议的新方法。该方法是对Spi演算的改进,在这个方法中攻击者是概率多项式时间进程,协议的安全性用概率可观察等价性表示。通过对Needham-Schroeder对称密钥认证协议的分析,验证了该方法的可行性和有效性。
|
| 关 键 词： | 进程代数 概率进程 概率可观察等价性 安全协议分析 |
| 文章编号： | 1671-0673（2007）02-0161-04 |
| 修稿时间： | 2006-12-25 |
Analysis of Security Protocols Based on Probabilistic Observational Equivalence |
| |
| ZHANG Feng,XIONG Xuan-dong,JIA Xue-dong. Analysis of Security Protocols Based on Probabilistic Observational Equivalence[J]. , 2007, 8(2): 161-164 |
| |
| Authors: | ZHANG Feng XIONG Xuan-dong JIA Xue-dong |
| |
| Affiliation: | 1. Institute of Electronic Technology, Information Engineering University Zhengzhou 450002, China ; 2. Department of Sciences Research, Information Engineering University , Zhengzhou 45000g, China |
| |
| Abstract: | This paper develops a technique by introducing probabilistic polynomial-time processes for analyzing security protocols because of the limitations of the Spi calculus.The technique is an improvement to the Spi calculus.Protocol adversaries may be any probabilistic polynomial-time processes in the technique, and security may be expressed in terms of observational equivalence.By analyzing Needham-Schroeder authentication protocol,we demonstrate the power of the technique for protocol security. |
| |
| Keywords: | process algebra probabilistic process probabilistic observational equivalence security protocol analysis |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《信息工程大学学报》浏览原始摘要信息 |
|
点击此处可从《信息工程大学学报》下载免费的PDF全文 |
