Formal Specifications and Verification of a Secure Communication Protocol Model
夏阳, 陆余良, 蒋凡 · Acta Scientiarum Naturalium Universitatis Sunyatseni · 2003
This paper presents a secure communication protocol model-EABM, by which network security communication can be realized easily and efficiently. First, the paper gives a thorough analysis of the protocol system, systematic construction and state transition of EABM. Then , it describes the channels and the process of state transition of EABM in terms of ESTELLE. At last, it offers a verification of the accuracy of the EABM model.