计算机科学 ›› 2008, Vol. 35 ›› Issue (9): 172-174.
• • 上一篇 下一篇
出版日期:
发布日期:
基金资助:
Online:
Published:
摘要： 安全属性的基于特定分析方法和限于特定属性的形式化描述严重影响了安全协议形式化分析方法的有效性和适用性。为解决这个问题，本文提出了一种统一的形式化描述方法，即通过属性动作之间的匹配关系来表达协议的安全属性。用这种方法详细分析了认证属性、保密属性以及公平性属性的形式化表达。通过比较分析，该方法与其他方法相比，具有准确、简洁和扩展性强的特点，在总体上优于其他方法。
关键词: 协议分析 形式化分析方法 安全属性
Abstract: The formal expression of security properties based on special analysis methods and used to special properties has largely affected the validity and applicability of the formal security protocol analysis. In order to solve this problem, a unifying method b
Key words: Protocol analysis, Security properties, Formal analysis
. 统一的安全属性形式化描述方法的研究[J]. 计算机科学, 2008, 35(9): 172-174. https://doi.org/
0 / / 推荐
导出引用管理器 EndNote|Reference Manager|ProCite|BibTeX|RefWorks
链接本文: https://www.jsjkx.com/CN/
https://www.jsjkx.com/CN/Y2008/V35/I9/172
Cited
首页