摘要
协议是网络运行的基础。在实际应用中,由于安全协议设计的复杂性,导致协议常常难 以达到所需的安全性。因此安全协议的分析突显其重要的一面,形式化分析方法是当前的研究热点。本 文使用基于C-半环理论的软限制来分析协议的安全性。在该分析方法中把安全并不看作是简单的布尔 属性,而是划分了安全等级,因而这种分析方法更有效。
出处
《信息安全与通信保密》
2005年第3期102-103,共2页
Information Security and Communications Privacy
基金
国家863资助项目(课题号:2003AA142160)
