Security protocol analysis; Unbounded verification; Falsification; Characterization;
机译:使用列表验证安全协议:从长度1到无限制的长度
机译:验证邮件大小不受限制的安全协议的策略
机译:物理层协议的自动验证和优化
机译:通过模式优化对安全协议进行无限制的验证,伪造和表征
机译:关于组密钥安全协议的形式验证
机译:用于存储在云服务中的文件完整性的信任验证的安全体系结构和协议
机译:scyther工具:安全协议的验证,伪造和分析