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