协议目标相关论文
【摘要】本部分内容的主要目标是理解安全协议的设计目标与协议安全的分析方法，结合作者的教学实践，本文首先分析SET协议主要模块的......
为将量化分析方法引入安全协议分析中,以模态逻辑方法为基础定义了协议度量方法,并形式化地给出度量协议内容对协议安全目标满足度......
