密码协议的一种安全模型
| Data(s) |
2003
|
|---|---|
| Resumo |
将密码协议与密码算法视为一个系统,建立了密码协议系统的一种安全模型.基于假设/保证的组合推理技术提出了新的假设/保证推理规则和假设/保证推理算法,证明了该规则的完备性,实现了密码协议系统的模型检查,并重点解决了系统分解问题、假设函数的设定问题、进程+逻辑的系统特性描述问题等难题.以kerberos密码协议系统为例,利用该安全模型和假设/保证推理技术对密码协议系统进行了安全验证. |
| Identificador | |
| Idioma(s) |
英语 |
| Fonte |
刘怡文; 李伟琴; 冯登国.密码协议的一种安全模型,软件学报,2003,14(6):1148-1156 |
| Palavras-Chave | #协议验证 #安全模型 #模型检查 #组合推理 |
| Tipo |
期刊论文 |
