密码协议形式化分析的计算合理性
基于Abadi-Rowgaway 的形式化加密的计算合理性定理,论文提出和证明了密码协议形式化分析的计算合理性定理。通过对群密钥分配协议的分析,说明本文的定理对协议的可选择攻击具有较强的分析能力,论文...
基于Abadi-Rowgaway 的形式化加密的计算合理性定理,论文提出和证明了密码协议形式化分析的计算合理性定理。通过对群密钥分配协议的分析,说明本文的定理对协议的可选择攻击具有较强的分析能力,论文...
初步认识物联网的构成,对于想入门物联网的朋友能有所启发...
联网时代,主要介绍了物联网的发展,应用,是一本物联网入门的教材...
物联网导论 初步认识物联网的教科书 刘云浩编著...
非常好的资料关于了解物联网技术中的无线传感网络的核心...