learned; completing; EasyCrypt;
机译:通过计算模型中的模型提取对JAVA中的加密安全协议实现的加密安全进行机械化验证
机译:密码分析中使用随机航点模型的MANET路由协议的安全性机制
机译:在Quantum随机Oracle模型中的GPV-IBE更严格的安全证明
机译:机械化随机Oracle模型中加密协议的自适应信息的证据
机译:部分指定的协议:寻求真实密码协议的证明。
机译:BGP安全协议中用于最小化加密处理的优化算法的设计和分析
机译:计算模型中密码协议的认证安全证明:入侵弹性的应用⋆