摘要
提出了一种安全的通信协议模型EABRA,通过该模型可以简单有效地实现网络安全通信。首先对EABRA协议系统、体系结构以及状态转换进行了细致的阐述,然后用ESTELLE语言对协议模型的实现过程进行了具体的描述,最后对EABRA协议模型进行了正确性验证。
This paper presents a kind of secure communication protocol model-EABRA, by which network security communication can be realized easily and efficiently. First, it gives a through analysis of the protocol system, systematic construct and state transition of EABRA. Then, it describes the implementing process of EABRA in terms of ESTELLE. At last, it offers a verification of the accuracy of EABRA model.
出处
《计算机工程》
CAS
CSCD
北大核心
2003年第6期131-133,共3页
Computer Engineering