Security protocol; Secrecy problem; Undecidability;
机译:具有新鲜度检查的有界安全协议的保密性是Nexptime-complete
机译:具有消息检查功能的入侵者模型,用于检查安全协议
机译:使用保密类型和逻辑程序分析安全协议
机译:受限安全协议的保密性:不平等测试和存在者入侵导致不确定性
机译:不同机械测试协议对无铅焊接系统可靠性的比较。
机译:基于模型的协议实现安全测试方法
机译:迈向网络物理安全协议的自动验证: 限制定时入侵者的数量