论文部分内容阅读
阐述了安全协议的自动生成-约简-优化模型。在第1阶段,依据系统规范的要求生成候选协议,并用简单的句法约束规则和基于简单冒充的早期删减规则对候选协议进行约简。第2阶段,以串空间理论为依据制定删减规则,对以上候选协议进行进一步的优化,生成符合安全需求的正确协议。
The automatic generation-reduction-optimization model of security protocol is expounded. In the first stage, candidate protocols are generated according to the requirements of the system specification, and the candidate protocols are reduced by simple syntactic constraint rules and simple cut-off rules based on simple impersonation. In the second stage, based on the theory of string space, the deletion rule is formulated to further optimize the above candidate agreements to generate the correct agreement in line with the security requirements.