论文部分内容阅读
将密码协议与密码算法视为一个系统,建立了密码协议系统的一种安全模型.基于假设/保证的组合推理技术提出了新的假设/保证推理规则和假设/保证推理算法,证明了该规则的完备性,实现了密码协议系统的模型检查,并重点解决了系统分解问题、假设函数的设定问题、进程+逻辑的系统特性描述问题等难题.以kerberos密码协议系统为例,利用该安全模型和假设/保证推理技术对密码协议系统进行了安全验证.
Considering the cryptographic protocol and the cryptographic algorithm as a system, a security model of the cryptographic protocol system is established.Hypotheses / assurance based combinatorial inference techniques propose new hypothesis / assurance inference rules and hypothesis / assurance inference algorithms, and prove that the rule , The model checking of the cryptographic protocol system is realized and the problems of system decomposition, hypothetical function setting and system characterization of process + logic are solved emphatically.Using the kerberos cryptographic protocol system as an example, Model and Hypotheses / Assurance Inference Technology Securely authenticate the cryptographic protocol system.