STS协议相关论文
导师苏开乐教授近年来新提出了基于本地会话的安全协议验证逻辑LLS(Logic of Local Sessions)。LLS逻辑基于安全协议的证明,它可以......
设计安全协议时,协议的安全性验证是消除安全协议脆弱性和不精确性的关键步骤,验证安全协议的模型和工具有很多.提出了一种基于着色pe......
IEC62055是2007年发布的第一个关于预付费电能表管理的国际标准.该文将IEC62055协议应用于射频预付费电能表的设计之中,提出了电能......