LLS逻辑相关硕士博士期刊学术论文 - 搜论网

LLS逻辑相关论文

扩展基于本地会话的安全协议验证逻辑验证基于Diffie-Hellman的密钥协商协议

导师苏开乐教授近年来新提出了基于本地会话的安全协议验证逻辑LLS(Logic of Local Sessions)。LLS逻辑基于安全协议的证明，它可以......

学位

LLS逻辑密钥协商 Deffie-Hellman STS协议

看过本文同时还关注