论文部分内容阅读
本文针对一类特殊的安全协议——基于知识的安全协议进行了讨论,并尝试通过模型检测的方法对其进行自动验证。本文使用相应的模型检测工具来验证了一个基于知识的安全协议,实验结果表明该协议的安全性规范得到了很好地满足。随着互联网+时代的来临,计算机网络技术迅速发展并广泛应用于各个行业,网络安全问题随之日益受到关注。