Abstract: Two basic hypotheses for security protocols analysis were proposed after the character of protocols in actual network was analyzed. Then a semantics based formal model for security protocols was proposed, which includes a role event based static protocol

Key words: Security protocol, Formal analysis,Model,Semantics