认证测试方法在安全协议分析中的应用 (2006年)

【文件属性】：

文件名称：认证测试方法在安全协议分析中的应用 (2006年)

文件大小：330KB

文件格式：PDF

更新时间：2024-06-10 21:30:15

工程技术 论文

摘要:系统研究了认证测试方法的应用原理，并将该方法应用于包含两方主体的N巳和包含三方主体的认证协议的分析中。最后通过比较认证测试方法和逻辑在安全协议分析中的应用