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

摘要：

为了满足嵌入式系统在网络通信环境下的一些安全需求,通过考察嵌入式开发的系统环境,对比现存的一些网络安全问题的解决方法,采用选取适用的IPSec(网络层安全协议)模块,并使用形式化语言对其进行描述,以给有此类安全需求的嵌入式开发提供一个形式化的IPSec模型.同时,在协议的开发过程中引入形式化的方法也有利于保证协议的一致性.

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

所属期刊栏目：28

分类号：TP301.2(计算技术、计算机技术)

在线出版日期：2007-04-17（万方平台首次上网日期，不代表论文的发表时间）

页数：共3页

页码：901-903