山东大学学报(理学版)

作者：吴福生,张焕国,倪明涛,王俊

单位：1. 贵州财经大学贵州省经济系统仿真重点实验室, 贵州 贵阳 550004；2. 武汉大学国家网络安全学院, 湖北 武汉 430072；3. 中南民族大学计算机科学学院, 湖北 武汉 430074

关键词：分析模型,密码协议实现,行为安全,可控性,

基金：国家自然科学基金重点项目(61332019);国家重点基础研究发展规划项目计划(973计划)(2014CB340601);2018年度贵州财经大学引进人才科研启动项目

提出了一种基于密码协议实现的行为安全分析模型,该模型把密码协议实现分2个部分:一是外部行为(开放网络空间交互通信的行为);二是内部行为(代码实现的行为)。通过行为的可控性,能够发现、控制或纠正密码协议实现的安全。基于该分析模型方法,以经典的密码协议为实例进行模拟实验。实验结果表明,密码协议实现的行为安全是可控的。

来源：2019年第3期

《山东大学学报(理学版)》期刊编辑部

查看山东大学学报(理学版)杂志2019年第3期