School of Science and Technology, Nottingham Trent University, UK;
机译:自动验证密码协议线性逻辑规范的保密性
机译:加密协议逻辑:对(定时)Dolev-Yao加密的满意
机译:一阶逻辑中加密协议保密的自动验证
机译:使用线性时间逻辑的加密协议分析框架
机译:密码协议和浏览器的重写逻辑中的安全模型。
机译:基于Bilinear配对加密的多区域认证和隐私保留协议(MAPP)用于5G-V2X
机译:通过线性时间逻辑证明加密协议属性正确性的框架
机译:使用时态逻辑指定和验证加密协议(进度报告)。