咨询与建议

看过本文的还看了

相关文献

该作者的其他文献

文献详情 >一种基于通道的AVISPA扩展方法研究 收藏

一种基于通道的AVISPA扩展方法研究

Extension of AVISPA based on concept of channels

作     者:刘威 郭渊博 LIU Wei;GUO Yuan-bo

作者机构:解放军信息工程大学网络空间安全学院郑州450001 解放军信息工程大学数学工程与先进计算国家重点实验室郑州450001 

出 版 物:《计算机应用研究》 (Application Research of Computers)

年 卷 期:2013年第30卷第12期

页      面:3783-3785,3803页

核心收录:

学科分类:12[管理学] 1201[管理学-管理科学与工程(可授管理学、工学学位)] 08[工学] 081201[工学-计算机系统结构] 0812[工学-计算机科学与技术(可授工学、理学学位)] 

基  金:国家部委基金资助项目(9140C130103120C13062) 

主  题:安全协议 形式化分析 安全属性 抽象通道 

摘      要:针对AVISPA工具在分析某些消息需要依靠具有特定属性的信道传递的安全协议或服务中存在的问题,提出了一种基于抽象通道的扩展方法。抽象通道具有相关的安全性质保证如认证性,能够对提供安全性质保证的底层服务建模,并基于密码机制和标签等实现了抽象通道。利用扩展后的AVISPA工具分析有无消息源认证机制的Diffie-Hellman密钥交换协议的安全性,表明了方法的有效性,并且能够简化协议建模过程和增强AVISPA工具协议描述分析能力。

读者评论 与其他读者分享你的观点

用户名:未登录
我的评分