ProVerif相关论文
安全协议运用密码算法,实现认证和密钥分配等目标。但是安全协议本身仍然存在安全隐患,对安全协议的各类攻击,导致个人、企业或国......
随着无线网络技术的迅速发展,民用飞机机载信息域在机场环境下,使用Gatelink与机场Wi Fi连接,实现与机场及航空公司专网的通信。为......
安全协议是目前保证信息交互在安全条件下进行的基础。然而,安全协议从设计到部署的过程并不容易,因为安全协议通常会存在缺陷。故......
