首页 | 本学科首页   官方微博 | 高级检索  
     

基于密码协议实现的行为安全分析模型
作者姓名:吴福生  张焕国  倪明涛  王俊
作者单位:贵州财经大学贵州省经济系统仿真重点实验室;武汉大学国家网络安全学院;中南民族大学计算机科学学院
摘    要:提出了一种基于密码协议实现的行为安全分析模型,该模型把密码协议实现分2个部分:一是外部行为(开放网络空间交互通信的行为);二是内部行为(代码实现的行为)。通过行为的可控性,能够发现、控制或纠正密码协议实现的安全。基于该分析模型方法,以经典的密码协议为实例进行模拟实验。实验结果表明,密码协议实现的行为安全是可控的。

本文献已被 CNKI 等数据库收录!
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号