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