Formal Specifications and Verification of a Secure Communication Protocol Model  

作　　者：夏阳 陆余良 蒋凡 

机构地区：Teaching and Research Office of Network Engineering,Electronic Engineering Institute, Hefei 230037, P. R. China[1] Research Center for Information Network Security,University of Science and Technology of China, Hefei 230027, P. R. China[2]

出　　处：《Journal of Systems Engineering and Electronics》2003年第2期90-97,共8页系统工程与电子技术（英文版）

摘　　要：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.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.

关 键 词：Protocol Model ESTELLE Extended alternating bit machine. 

分 类 号：TN915.04[电子电信—通信与信息系统]