排序方式: 共有11条查询结果,搜索用时 15 毫秒
1.
2.
3.
5.
6.
7.
当形式化描述安全协议时,不同的规范语言采用不同的推理方法,其结果不能直接或容易地进行比较,因此在不同的框架中建立明确的关联是必要的。论文在多重集合重写MSR和Spi演算的形式化规范之间建立关联,并定义了一种双射;提出和证明了MSR和Spi演算之间在分析安全协议安全性时的一致性关系定理,利用这个关系对Needham-Schroeder公钥协议进行安全性分析。 相似文献
8.
给出了多三角形结构动态复杂网络演化模型的演化算法,利用平均场理论和MATLAB工具对模型的度分布、平均聚集系数等给出了精确的理论解与数值仿真解,验证了两种解完全吻合。利用MATLAB工具对演化模型的稳定性进行数值仿真,验证了该类演化模型与无标度网络BA演化模型在随机攻击策略下具有相似的稳定性。 相似文献
9.
10.
基于Abadi-Rowgaway的形式化加密的计算合理性定理,提出和证明了密码协议形式化分析的计算合理性定理。通过对群密钥分配协议安全性的分析,说明定理对协议的可选择攻击具有较强的分析能力,提出了群密钥分配协议的形式化方法与计算方法下安全性的形式化定义,并证明了其合理性。 相似文献