面向嵌入式系统的IPSec形式化建模  

IPSec formally modelling for embedded system

作　　者：赵跃华[1] 段巍巍[1] 

机构地区：[1]江苏大学计算机科学与通信工程学院,江苏镇江212013

出　　处：《计算机工程与设计》2007年第4期901-903,共3页Computer Engineering and Design

摘　　要：为了满足嵌入式系统在网络通信环境下的一些安全需求,通过考察嵌入式开发的系统环境,对比现存的一些网络安全问题的解决方法,采用选取适用的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.

关 键 词：形式化方法 结构描述语言 嵌入式系统 认证头 安全联盟 

分 类 号：TP301.2[自动化与计算机技术—计算机系统结构]