Abstract
Formal models is the basis of protocol analysis, and existing formal models usually assume that only a single protocol runs in an untrusted network. However, when a protocol is deployed, it is usually run concurrently with other peer protocols on the network. As a result, these models cannot analyze multi-protocol security. In this paper, we build the formalization model for multi-protocol. This model is divided into two parts, one is static description, which is used to describe the message structure, communication steps and goals of the protocol, and the other is dynamic execution description. It is used to describe state change of agents in network.
Sign-in/Register to access full text options 
Free) 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call
