摘要
为了满足嵌入式系统在网络通信环境下的一些安全需求,通过考察嵌入式开发的系统环境,对比现存的一些网络安全问题的解决方法,采用选取适用的IPSec(网络层安全协议)模块,并使用形式化语言对其进行描述,以给有此类安全需求的嵌入式开发提供一个形式化的IPSec模型。同时,在协议的开发过程中引入形式化的方法也有利于保证协议的一致性。
To meet the security requirements of the embedded system in Internet, by reviewing the system environment of the embedded development and comparing with the solution on the extant security technology, a suitable IPSec module is selected. The SDL language is used to carry on the description for it. Then a formalized IPSec model is provided to those who have this kind of security requirements in embedded development. The same time, it is useful for ensuring coherence of protocol by using formalized method during the course of the protocol development.
出处
《计算机工程与设计》
CSCD
北大核心
2007年第4期901-903,共3页
Computer Engineering and Design
