Analysis of security protocols usiang CP-Nets
Xiao De-bao · Journal of Central China Normal University · 2006
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.