形式化分析工具Scyther软件的说明手册

形式化分析、安全协议分析

迁移系统交错并发不确定模型。

网络协议的形式化分析与设计古天龙2003计算机网络及数据通信是当今信息社会的基石，网络协议则是其中不可缺少的重要组成部分。形式化方法与技术已经渗透到网络协议开发的整个过程

提出了一种基于布尔可满足性问题的安全协议形式化分析方法 SAT-LMC,通过引入惰性分析的思想优化初始状态与转换规则,提高了安全性的检测效率。另一方面,通过在消息类型上定义偏序关系,SAT-LMC 能

模型检测 形式化分析 安全协议相关论文，小弟最近在研究这个，与同行共享~

网络协议 网络协议的形式化分析与设计，是PDG格式的电子书，请用PDG软件来阅读

安全协议形式化分析理论与方法研究综述，学术论文

上海交大博士论文 基于π演算的Petri网和密码协议的形式化分析

运行在IEEE 802.11i基础上的IEEE 802.11w增加了对无线网络管理帧的保护,针对IEEE 802.11w协议的安全性问题,利用了通信顺序进程(CSP)对其进行形式化分析。对协议运行在恶

提出了基于移动Agent安全方案MABCM的组播接收方不可抵赖服务MNORS。在MABCM构造的移动Agent黑箱的保护下，通过内嵌解密密钥的方式，NRR移动Agent程序能够在不可信的接收方计算环境