【摘要】 设计安全协议时,协议的安全性验证是消除安全协议脆弱性和不精确性的关键步骤,验证安全协议的模型和工具有很多.提出了一种基于着色petri网的安全协议验证方法.通过采用该方法对一个STS协议进行了分析,证明了这种方法的有效性,并根据分析结果给出了改进后的STS协议.更多还原

【Abstract】 Verification is a crucial step to eliminate weaknesses and inaccuracies of effictive security protocols.There are many models and tools to verify security protocols.This paper proposed an approach for analysis of security protocol using the CP-Nets.Analyze a STS protocol to proof this approach,and then,modify the STS protocol according to the result.更多还原