Abstract: Operational semantics of security protocols is a new model for analyzing security protocols,which is based on operational semantics and combines many merits of the current models such as strand spaces model. Further Characteristics of the model is a strai

Key words: Security protocol, Formal method, Framework, Operational semantics