| 用串空间分析路由协议SGSR |
| |
| 引用本文： | 郭宇燕,魏仕民.用串空间分析路由协议SGSR[J].淮北煤炭师范学院学报(自然科学版),2007,28(4):49-51. |
| |
| 作者姓名： | 郭宇燕 魏仕民 |
| |
| 作者单位： | 1. 淮北煤炭师范学院数学系,安徽,淮北,235000
2. 淮北煤炭师范学院计算机科学与技术系,安徽,淮北,235000 |
| |
| 基金项目： | 国家自然科学基金项目(60773121)，安徽省自然科学基金项目(070412052) |
| |
| 摘 要： | 用形式化方法分析安全协议是协议分析的有效手段,近年来,出现了众多的研究方法.串空间模型是一种新兴的形式化分析工具,其中,"理想"和"诚实"两个概念简化了分析协议的步骤.首次利用串空间理论对由徐兰芳提出的一种安全的Ad Hoc网络路由协议SGSR进行分析,并分析了它的认证性和机密性,结果证明此协议能够达到协议的目标。
|
| 关 键 词： | SGSR协议 串空间 认证性 机密性 |
| 文章编号： | 1672-7177（2007）04-0049-03 |
| 收稿时间： | 2007-10-25 |
| 修稿时间： | 2007年10月25 |
Strand Space Model of Routing Protocol SGSR and Its Analysis |
| |
| GUO Yu-yan,WEI Shi-min.Strand Space Model of Routing Protocol SGSR and Its Analysis[J].Journal of Huaibei Coal Industry Teachers College(Natural Science edition),2007,28(4):49-51. |
| |
| Authors: | GUO Yu-yan WEI Shi-min |
| |
| Abstract: | Using formal method to analyze security protocol is a valid method.In recent years,a lot of formal methods apperaed.Strand space model is a new formal analysis tool.And,two concepts honest and ideal simplifies the process of verification.It was the first time to prove the Xu Lanfang's secure routing protocol SGSR for mobile Ad Hoc Networks with the theory of strand space.And then its confidentiality and authentication were analysed.At last,It indicatded that the amended protocol could reach the goal. |
| |
| Keywords: | SGSR protocol strand space confidentiality authenticatio |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
