Abstract: The formal expression of security properties based on special analysis methods and used to special properties has largely affected the validity and applicability of the formal security protocol analysis. In order to solve this problem, a unifying method b

Key words: Protocol analysis, Security properties, Formal analysis