论文研究-一种安全协议组合分析方法.pdf

【文件属性】：

文件名称：论文研究-一种安全协议组合分析方法.pdf

文件大小：293KB

文件格式：PDF

更新时间：2022-08-11 12:02:30

安全协议,组合分析,规范语言,连接器

提出了一种安全协议组合分析方法，即使用通用认证协议规范语言CAPSL描述安全协议，然后使用连接器，将CAPSL规范转换为其他安全协议分析工具的形式化输入，从而能够利用不同分析工具的优点，来更好地保证安全协议形式化分析的准确性，同时也方便了安全协议分析者。设计了两个CAPSL连接器，并给出一个协议转换实例。