一种安全协议分析算法研究
研究分析了Athena 自动协议形式化分析算法的原理。该算法能够分析协议的各种安全属性，它基于扩展了的串空间模型，利用了消息间的因果关系，并且结合了定理证明和模型检测方法，能有效地分析安全协议...
协议安全技术资料
📦 资源总数：10000
💻 源代码：10000
🔥 协议安全热门资料
查看全部10000个资源 »PSAM卡安全模块技术资料及协议
PSAM卡安全模块技术资料及协议...
基于SET协议的安全电子商务研究
如何从技术上保证电子商务的信息安全,保障电子商务参与者的经济利益,是电子商务能否顺利发展的关键，安全性问题业已成为电子商务的核心问题。本文在对安全电子交易(SET)协议分析的基础上，提出采用叠...
用于Ad Hoc匿名安全动态源路由协议
剖析了无线Ad hoc网络需要匿名的安全传输协议防止网络攻击，保证节点位置、运动方式和网络拓扑等信息的安全。本文首先介绍了安全协议满足的目标，然后提出了一种匿名动态源路由协议（ADSR），利用...
电子见证服务协议的安全性分析
电子见证服务是现代服务业体系中一个重要环节，为电子商务和网络应用提供安全和法律的保证。本文阐述了电子见证服务在电子商务应用中的必要性。研究影响见证服务安全几个因素,提出现有协议中普遍存在的安全漏洞。针...
💻 协议安全源代码
查看更多 »📂 协议安全资料分类