反例构造论文

复杂安全协议的建模与验证
论文摘要随着网络的发展,互联网络的安全问题变得越来越棘手,越来越重要,安全协议的安全性质也受到越来越多的挑战。安全协议是解决互联网络安全问题最有效的手段之一,使用安全协议在开放...
安全协议形式化验证技术的研究与实现
论文题目:安全协议形式化验证技术的研究与实现论文类型:博士论文论文专业:计算机科学与技术作者:李梦君导师:陈火旺,李舟军关键词:安全协议,安全性质,形式化验证,反例构造,逻辑,...