|
|||||
|
|
| 基于XML的安全协议形式化描述方法 | |
| 引用本文： | 张锐,张璐璐,雷新峰,刘军.基于XML的安全协议形式化描述方法[J].军事通信技术,2009(1). |
| 作者姓名： | 张锐 张璐璐 雷新峰 刘军 |
| 作者单位： | 解放军理工大学通信工程学院研究生1队;长春工程学院理学院;解放军理工大学通信工程学院研究生2队;解放军理工大学通信工程学院电子信息工程系; |
| 基金项目： | 江苏省自然科学基金资助项目(BK2008090) |
| 摘 要： | 针对安全协议的设计与分析复杂且容易出错的问题,文章为编写一个自动验证工具提出一种基于XML(eXtensible Markup Language)语言的时间相关安全协议形式化描述方法。该方法将安全协议用树状结构表示,用XML语言进行描述,为简化安全协议的形式化分析提供了帮助。 |
| 关 键 词： | 安全协议 形式化描述 可扩展标签语言 |
| 本文献已被 CNKI 等数据库收录！ | |