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