| 基于XML的安全协议形式化描述方法 |
| |
| 引用本文： | 张锐,张璐璐,雷新峰,刘军. 基于XML的安全协议形式化描述方法[J]. 军事通信技术, 2009, 0(1) |
| |
| 作者姓名： | 张锐 张璐璐 雷新峰 刘军 |
| |
| 作者单位： | 解放军理工大学通信工程学院研究生1队;长春工程学院理学院;解放军理工大学通信工程学院研究生2队;解放军理工大学通信工程学院电子信息工程系; |
| |
| 基金项目： | 江苏省自然科学基金资助项目(BK2008090) |
| |
| 摘 要： | 针对安全协议的设计与分析复杂且容易出错的问题,文章为编写一个自动验证工具提出一种基于XML(eXtensible Markup Language)语言的时间相关安全协议形式化描述方法。该方法将安全协议用树状结构表示,用XML语言进行描述,为简化安全协议的形式化分析提供了帮助。
|
| 关 键 词： | 安全协议 形式化描述 可扩展标签语言 |
Approach to Formal Description of Cryptographic Protocols Based on XML |
| |
| ZHANG Rui,ZHANG Lu-lu,LEI Xin-feng,LIU Jun. Approach to Formal Description of Cryptographic Protocols Based on XML[J]. Journal of Military Communications Technology, 2009, 0(1) |
| |
| Authors: | ZHANG Rui ZHANG Lu-lu LEI Xin-feng LIU Jun |
| |
| Affiliation: | 1.Postgraduate Team 1 ICE;PLAUST;Nanjing 210007;China;2.Faculty of Science;Changchun Institute of Technology;Changchun 130012;3.Postgraduate Team 2 ICE;4.Department of Electronic Information Engineering ICE;PLAUST |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 CNKI 等数据库收录！ |
|
