| 面向嵌入式系统的IPSec形式化建模 |
| |
| 引用本文： | 赵跃华,段巍巍.面向嵌入式系统的IPSec形式化建模[J].计算机工程与设计,2007,28(4):901-903. |
| |
| 作者姓名： | 赵跃华 段巍巍 |
| |
| 作者单位： | 江苏大学,计算机科学与通信工程学院,江苏,镇江,212013 |
| |
| 摘 要： | 为了满足嵌入式系统在网络通信环境下的一些安全需求,通过考察嵌入式开发的系统环境,对比现存的一些网络安全问题的解决方法,采用选取适用的IPSec(网络层安全协议)模块,并使用形式化语言对其进行描述,以给有此类安全需求的嵌入式开发提供一个形式化的IPSec模型.同时,在协议的开发过程中引入形式化的方法也有利于保证协议的一致性.
|
| 关 键 词： | 形式化方法 结构描述语言 嵌入式系统 认证头 安全联盟 嵌入式系统 IPSec 形式化建模 embedded system 一致性 证协议 开发过程 模型 描述 语言对 使用 模块 网络层安全协议 选取 方法 问题 网络安全 系统环境 嵌入式开发 考察 |
| 文章编号： | 1000-7024（2007）04-0901-03 |
| 修稿时间： | 2006-01-28 |
IPSec formally modelling for embedded system |
| |
| ZHAO Yue-hua,DUAN Wei-wei.IPSec formally modelling for embedded system[J].Computer Engineering and Design,2007,28(4):901-903. |
| |
| Authors: | ZHAO Yue-hua DUAN Wei-wei |
| |
| Affiliation: | College of Computer Science and Communication Engineering, Jiangsu University, Zhenjiang 212013, China |
| |
| Abstract: | |
| |
| Keywords: | formalized method SDL embedded system AH SA |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
