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