| 统一的安全属性形式化描述方法的研究 |
| |
| 引用本文： | 谢鸿波,吴远成,周明天. 统一的安全属性形式化描述方法的研究[J]. 计算机科学, 2008, 35(9): 172-174 |
| |
| 作者姓名： | 谢鸿波 吴远成 周明天 |
| |
| 作者单位： | 1. 电子科技大学计算机科学与工程学院,成都,610054;重庆通信学院三系数据链教研室,重庆,400035
2. 电子科技大学计算机科学与工程学院,成都,610054 |
| |
| 基金项目： | 国家重点基础研究发展计划(973计划) |
| |
| 摘 要： | 安全属性的基于特定分析方法和限于特定属性的形式化描述严重影响了安全协议形式化分析方法的有效性和适用性.为解决这个问题,本文提出了一种统一的形式化描述方法,即通过属性动作之间的匹配关系来表达协议的安全属性.用这种方法详细分析了认证属性、保密属性以及公平性属性的形式化表达.通过比较分析,该方法与其他方法相比,具有准确、简洁和扩展性强的特点,在总体上优于其他方法.
|
| 关 键 词： | 协议分析 形式化分析方法 安全属性 |
On Unifying the Formal Method to Depict the Security Properties |
| |
| XIE Hong-bo,WU Yuan-chen,ZHOU Ming-tian. On Unifying the Formal Method to Depict the Security Properties[J]. Computer Science, 2008, 35(9): 172-174 |
| |
| Authors: | XIE Hong-bo WU Yuan-chen ZHOU Ming-tian |
| |
| Affiliation: | XIE Hong-bo1,2 WU Yuan-chen1 ZHOU Ming-tian1(School of Computer Science , Engineering,University of Electronic Science , Technology of China,Chengdu 610054,China)1(Data Like Staff Room of the 3rd Department,Chongqing Communication College,Chongqing 400035,China)2 |
| |
| 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 based on trace is been formally presented.In this method,the security properties are expressed as the match relations between property actions.This method can be used to express most kinds of security properties.As an example,it has been used to analyse the fo... |
| |
| Keywords: | Protocol analysis Security properties Formal analysis |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《计算机科学》浏览原始摘要信息 |
|
点击此处可从《计算机科学》下载全文 |
|
