| 基于计算模型的安全协议验证软件Crypto Verif研究 |
| |
| 引用本文： | 李林.基于计算模型的安全协议验证软件Crypto Verif研究[J].人天科学研究,2011,10(4):140-142. |
| |
| 作者姓名： | 李林 |
| |
| 作者单位： | 中南民族大学计算机学院,湖北武汉,430074 |
| |
| 摘 要： | 目前,对安全协议的自动化证明分为两类：基于符号模型的和基于计算模型的。介绍了基于计算模型的协议证明软件CryptoVerif,介绍了其原理和可证明的安全属性,并使用其证明了一个协议的安全性;最后,指出其不足,为以后的软件改进指出了方向。
|
| 关 键 词： | 安全协议 计算模型 CryptoVerif |
CryptoVerif：A Prover Based on Computional Model for Security Protocol |
| |
| Abstract: | Now,mechanized provers to security protocol are divided in two classes：one base on the symbolic model and another based on computional model.This paper introduces and analyzes CryptoVerif based on the computional model,analyzes the principal and security |
| |
| Keywords: | Security Protocol Computional Model CryptoVerif |
| 本文献已被 维普 万方数据 等数据库收录！ |
|
