| Formal Specifications and Verification of a Secure Communication Protocol Model |
| |
| 作者姓名： | 夏阳 陆余良 蒋凡 |
| |
| 作者单位： | Xia Yang 1，Lu Yuliang 1 & Jiang Fan 2 1. Teaching and Research Office of Network Engineering，Electronic Engineering Institute，Hefei 230037，P. R. China; 2. Research Center for Information Network Security，University of Science and Technology of China，Hefei 230027，P. R. China |
| |
| 摘 要： | 1 .INTRODUCTIONAlongwiththerapiddevelopmentofthecomputernetwork,theinformationtransferredthroughthenetworkhasbeenontheincrease ,accordingly ,thesecurityofcommunicationhasbecomeapopulartop ic .Communicationprotocol,theessenceofcomputernetworkanddatacommunication ,referstoapropercommunicatingbehaviorcarriedoutbyasetofproto colentitiesundercertaincommunicationrules.Itistheimperfectcommunicationprotocolthatcausestheinsecurityofnetworkcommunication .Inthispaper,asecurecommunicationprotocolmode…
|
Formal Specifications and Verification of a Secure Communication Protocol Model |
| |
| Xia Yang ,Lu Yuliang & Jiang Fan . Teaching and Research Office of Network Engineering,Electronic Engineering Institute,Hefei ,P. R. China, . Research Center for Information Network Security,University of Science and Technology of China,Hefei ,P. R. China.Formal Specifications and Verification of a Secure Communication Protocol Model[J].Journal of Systems Engineering and Electronics,2003,14(2). |
| |
| Authors: | Xia Yang Lu Yuliang & Jiang Fan Teaching and Research Office of Network Engineering Electronic Engineering Institute Hefei P R China Research Center for Information Network Security University of Science and Technology of China Hefei P R China |
| |
| Institution: | 1. Teaching and Research Office of Network Engineering,Electronic Engineering Institute, Hefei 230037, P. R. China
2. Research Center for Information Network Security,University of Science and Technology of China, Hefei 230027, P. R. China |
| |
| Abstract: | 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. |
| |
| Keywords: | Protocol Model ESTELLE Extended alternating bit machine |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
