论文部分内容阅读
协议是网络运行的基础。在实际应用中,由于安全协议设计的复杂性,导致协议常常难 以达到所需的安全性。因此安全协议的分析突显其重要的一面,形式化分析方法是当前的研究热点。本 文使用基于C-半环理论的软限制来分析协议的安全性。在该分析方法中把安全并不看作是简单的布尔 属性,而是划分了安全等级,因而这种分析方法更有效。