Model the protocol based on kinds of event
Yang Bao-hua · Journal of Anhui Institute of Architecture & Industry · 2009
The paper proposed the method of modeling network protocol and the protocol verification based on the kinds of event.The most important part in the experiment of protocol verification is the state of the model that decides the accuracy and validity of result.The way of describing multi-level state relies on integrated and efficient co-construction of the out-event and the in-event model by using the arithmetic mode to check the verification and get the testing result of characters.This paper uses the WEP and the 4-hand protocol to construct the muti-level state and proves that multi-level state is propitious to model and check the network protocol.