Semantics Based Formal Model for Security Protocols
Yuanbo Guo · 2009
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 description model and a operation state based dynamic execution model,the basic syntax and semantics were introduced,and some key concepts in the model deduction are presented.Finally,the example for the simplified NSL protocol was given.All of those works provide a necessary basis for realizing automatic verification for security protocols.