基于Hash函数的鉴别协议及其BAN逻辑分析 - 综合电子系统技术教育部重点实验室暨四川省高密度集成器件工程技术研究中心2012学术年会.pdf

本文介绍了基于Hash函数的鉴别协议，并运用BAN逻辑对其进行形式化分析。论文探讨了该协议的安全性与有效性，通过BAN逻辑验证了其在身份鉴别过程中的正确性。研究为设计高效、安全的鉴别机制提供了理论支持，适用于现代通信系统中的安全需求。

文档为pdf格式，0.39MB，总共6页。

2025-12-14 16:33 上传 基于Hash函数的鉴别协议及其BAN逻辑分析 - 综合电子系统技术教育部重点实验室暨四川省高密度集成器件工程技术研究中心2012学术年会.pdf

文件大小:

399.36 KB

下载次数:

60

基于Hash函数的鉴别协议及其BAN逻辑分析 - 综合电子系统技术教育部重点实验室暨四川省高密度集成器件工程技 ...

高速下载