IEEE P802.11 sTM/D1.01中EMSA认证协议是无线网状网络(WSN)安全的重要保证。基于协议组合逻辑形式化分析了EMSA协议的安全性,发现......

认证密钥协商协议是一种重要的密码学原语。该文分析一种基于身份的认证密钥协商协议,并在Bellare-Rogaway-93模型下进行安全证明......

认证密钥协商协议是构建安全网络环境的基础,通过认证密钥协商协议,在通信系统中为通信的参与者提供身份认证,为身份已经确认的参......