论文部分内容阅读
在当前安全协议形式化分析的研究中，亟待解决的关键问题是如何形式化描述更多的安全属性，如何将这些属性在统一的框架下进行形式化分析和验证．本文提出了一种统一的安全属性形式化描述方法，在此基础上，利用知识推理来弥补进程演算缺乏数据结构的固有缺陷，从而提出了一种安全协议形式化分析的一般组合模型．通过实例分析验证了模型的有效性，并指出了该模型的研究方向．