机译:远程互联网投票协议拒绝服务攻击的自动证明,扩展应用PI微积分
机译:具有扩展应用Pi演算的远程Internet投票协议中的拒绝服务攻击抵抗力的自动证明
机译:具有扩展应用Pi演算的远程Internet投票协议中的拒绝服务攻击抵抗力的自动证明
机译:使用Proverif改进应用PI演算中远程Internet投票协议的安全性机械化证明
机译:应用PI-COMPULUS中远程电子投票协议的自动验证
机译:一个新颖的基于拼图的框架,用于缓解针对Internet应用程序的分布式拒绝服务攻击
机译:用箴言改进远程互联网投票协议安全性质的机械化特性证明