...
机译:指导通用C验证程序来证明密码协议
The Open University, Milton Keynes, UK;
Microsoft Research. Cambridge, UK and University of Edinburgh, Edinburgh, UK;
TU Dortmund and Fraunhofer ISST, Dortmund, Germany;
Stevens Institute of Technology, Hoboken, NJ, USA;
Symbolic cryptography; program verification; C implementations; security properties; general-purpose verifiers; protocol verification; cryptographic invariants;
机译:通过计算模型中的模型提取对JAVA中的加密安全协议实现的加密安全进行机械化验证
机译:用独占或验证有状态加密协议
机译:自动验证密码协议的等效属性
机译:指导通用C验证器证明加密协议
机译:方程式统一及其在密码协议形式验证中的应用
机译:核弹头的物理密码验证
机译:指导通用C验证程序来证明加密协议
机译:密码协议的形式验证:一项调查。