安全协议形式化研究与实现

形式化验证基于可认证网络编码的网络传输协议安全性，孙智勇，杨铭熙，网络编码通过网络节点对传输信号的编码处理，可以提升网络信息吞吐量、节约网络资源和减少转发次数。但是在构建网络编码的过程中

如何对电子商务协议进行分析与验证一直是研究的热点，基于ATL（交替时态逻辑）对电子商务协议中的公平交换协议（FairExchangeProtocols）进行形式化分析与验证，并选取了其中的一个电子合同

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

献给所有对技术抱有好奇心和热情的软件工程师们

天津大学逻辑与形式化方法复习资料,其中包括: 1.命题逻辑 2.一阶逻辑 3.Z语言的类型及构造单元 4.关系 5.函数 6.模式与规格说明 7.序列 8.包 9.Z语言规格说明的形式推理 10.模型

是一本描述集合论里面各种符号的教程，描述的十分详细，很好

针对复杂知识库中知识规则数量多、知识规则的组织及其相互间的逻辑关系难以把握 这一特点,在模糊Pet ri 网的基础上给出了层次化模糊Pet ri 网( Hierarchical Fuzzy Pet r

z语言的形式化，精化和证明，有关Z 语言入门的一本书，牛津大学出版社

概念地图形式化及语义分析方法,郝金星,,人类社会加速进入大数据时代,

移动Agent系统的Z语言形式化描述，形式化语言的简介，Z语言的介绍以及多ANGENT系统的描述