机译:LTL模型检查安全协议
AI-Lab, DIST, Universita di Genova Viale Causa 13 16145 Genova (Italy);
AI-Lab, DIST, Universita di Genova Viale Causa 13 16145 Genova (Italy);
SAP Research 805 Avenue du M. Donat 06250 Mougins (France);
security protocols; bounded model checking; SAT-based model checking; multi-set rewriting; LTL; abstract communication channels; ASW;
机译:LTL模型检查安全协议
机译:具有消息检查功能的入侵者模型,用于检查安全协议
机译:建模和检查安全协议的定时身份验证
机译:LTL模型检查安全协议
机译:BRUTUS:安全协议的模型检查器。
机译:ADAMMC:用于抵抗流动 - LTL的Petri网的模型检查器
机译:LTL模型检查安全协议
机译:模型检查安全协议