| 一种安全协议的规范化设计方法 |
| |
| 引用本文： | 邓帆,李益发,张文政.一种安全协议的规范化设计方法[J].武汉大学学报(信息科学版),2010,35(5):603-606. |
| |
| 作者姓名： | 邓帆 李益发 张文政 |
| |
| 作者单位： | 1信息工程大学信息工程学院,郑州市俭学街7号450002;2成都市现代通信国家重点实验室,成都市创业路6号610000 |
| |
| 基金项目： | 成都市现代通信技术国家重点实验室基金资助项目(9140C1103040902) |
| |
| 摘 要： | 提出了应用组合方法进行安全协议的规范化设计,给出了协议中基件与组件的定义,分析了组件的安全属性,及基于组件设计能实现相应安全目标的单步协议;定义了组合规则,确保不同的单步协议能够组合成为一个复合协议,同时各个单步协议还能实现各自的安全目标。至此,根据具体的应用背景选择合适的单步协议,按照组合规则组合后,便可得到满足需求的安全协议。该方法可将一个复杂协议分解为若干基于组件的简单单步协议,使得协议的设计与分析都易于实现。
|
| 关 键 词： | 安全协议 设计 组件 逻辑分析 组合 |
| 收稿时间： | 2010-03-15 |
| 修稿时间： | 2013-07-09 |
A Standardized Method of Security Protocol Design |
| |
| DENG Fan LI Yifa ZHANG Wenzheng.A Standardized Method of Security Protocol Design[J].Geomatics and Information Science of Wuhan University,2010,35(5):603-606. |
| |
| Authors: | DENG Fan LI Yifa ZHANG Wenzheng |
| |
| Institution: | 1College of Information Engineering,Information Engineering University,7 Jianxue Street,Zhengzhou 450002,China;2State Key Laboratory of Modern Communications,6 Chuangye Road,Chengdu 610000,China |
| |
| Abstract: | We present a standardized method of security protocol design through composition,define the concepts of the base case and the component in the protocol,analyze the security attributes on the components,and design the single-step protocols which can implement the special security goals based on the components.The combination of several single-step protocols part into a complicated protocol without destroying the security properties established by each independent part.Then it can design security protocol by ... |
| |
| Keywords: | security protocol design component logical analysis composition |
| 本文献已被 CNKI 等数据库收录！ |
| 点击此处可从《武汉大学学报(信息科学版)》浏览原始摘要信息 |
| 点击此处可从《武汉大学学报(信息科学版)》下载免费的PDF全文 |
|
