|
|||||
|
|
| 统一的安全属性形式化描述方法的研究 | |
| 引用本文： | 谢鸿波,吴远成,周明天.统一的安全属性形式化描述方法的研究[J].中国药品标准,2008(9). |
| 作者姓名： | 谢鸿波 吴远成 周明天 |
| 基金项目： | 国家重点基础研究发展计划(973计划) |
| 摘 要： | 安全属性的基于特定分析方法和限于特定属性的形式化描述严重影响了安全协议形式化分析方法的有效性和适用性.为解决这个问题,本文提出了一种统一的形式化描述方法,即通过属性动作之间的匹配关系来表达协议的安全属性.用这种方法详细分析了认证属性、保密属性以及公平性属性的形式化表达.通过比较分析,该方法与其他方法相比,具有准确、简洁和扩展性强的特点,在总体上优于其他方法. |
| 关 键 词： | 协议分析 形式化分析方法 安全属性 |
On Unifying the Formal Method to Depict the Security Properties |
|
| Authors: | XIE Hong-bo WU Yuan-chen ZHOU Ming-tian |
| Abstract: | |
| Keywords: | |
| 点击此处可从《中国药品标准》浏览原始摘要信息 | |
| 点击此处可从《中国药品标准》下载免费的PDF全文 | |