类逻辑论文

安全协议形式化分析方法的关键技术研究
论文摘要计算机网络正以惊人的速度向各个领域渗透,其中的安全问题也变得越来越突出和复杂,解决安全问题对许多网络应用来说已是头等大事。从目前解决安全问题的方式来看,安全协议是解决网...
逻辑化方法的改进及若干密码协议安全性分析
论文摘要论文在李逻辑的基础上提出一种新的BAN类逻辑系统,引进了新的符号、公式,添加了消息源公理,改进了消息生成公理、身份认证公理、消息接收公理,将系统加以扩展,并且列出若干常...