来源:《电子世界》2019年第02期 作者:蒋欢;何青;
选择字号

一种安全协议的形式化验证方法

分享到: 分享到QQ空间

<正>本文针对一类特殊的安全协议——基于知识的安全协议进行了讨论,并尝试通过模型检测的方法对其进行自动验证。本文使用相应的模型检测工具来验证了一个基于知识的安全协议,实验结果表明该协议的安全性规范得到了很好地满足。随着互联网+时代的来临,计算机网络技术迅速发展并广泛应用于各个行业,网络安全问题随之日益受到关注。网络安全的基础是安全协议,它是一种通信协议,如何设计良好的安全协议已成为网络安全的重点研究问题。安全协议的实现依赖于密码技术,它不(本文共计2页)       [继续阅读本文]

下载阅读本文     订阅本刊
   

相关文章推荐

电子世界杂志2019年第02期
电子世界
主办:中国电子学会
出版:电子世界杂志编辑部
出版周期:半月
出版地:北京市

本期目录