形式化分析论文

论文摘要论文在李逻辑的基础上提出一种新的BAN类逻辑系统,引进了新的符号、公式,添加了消息源公理,改进了消息生成公理、身份认证公理、消息接收公理,将系统加以扩展,并且列出若干常...

论文摘要随着移动通信系统的迅速发展和广泛应用,与其相关的安全问题引起了人们越来越多的关注。移动通信系统的安全防护主要可以分为认证和保密两个方面,其中认证解决的是通信对象身份真实...

论文题目:公平交换协议分析方法研究论文类型:博士论文论文专业:应用数学,数据安全作者:邢育红导师:李大兴关键词:公平交换协议,形式化分析,公平性,可行性,可追究性,适时中止性文...

论文题目:公共无线局域网安全体系研究及其可验安全性形式化分析论文类型:博士论文论文专业:信号与信息处理作者:宋宇波导师:胡爱群关键词:公共无线局域网,安全体系,预言机模型,模型...