Department of Computer Science Hong Kong University of Science and Technology;
Center for High Assurance Computing Systems Naval Research Laboratory;
机译:一阶逻辑中加密协议保密的自动验证
机译:自动验证密码协议线性逻辑规范的保密性
机译:验证公钥密码协议的逻辑
机译:使用时间逻辑来指定和验证密码协议
机译:方程式统一及其在密码协议形式验证中的应用
机译:核弹头的物理密码验证
机译:具有动态认知逻辑的加密协议的高效验证
机译:使用时态逻辑指定和验证加密协议(进度报告)。