段巍巍

作品数：1被引量：0H指数：0
导出分析报告
供职机构：江苏大学计算机科学与通信工程学院更多>>
发文主题：形式化方法嵌入式系统SDL安全联盟形式化建模更多>>
发文领域：自动化与计算机技术电气工程更多>>
发文期刊：《计算机工程与设计》更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-1
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
面向嵌入式系统的IPSec形式化建模
《计算机工程与设计》2007年第4期901-903,共3页赵跃华 段巍巍 
为了满足嵌入式系统在网络通信环境下的一些安全需求,通过考察嵌入式开发的系统环境,对比现存的一些网络安全问题的解决方法,采用选取适用的IPSec(网络层安全协议)模块,并使用形式化语言对其进行描述,以给有此类安全需求的嵌入式开发提...
关键词：形式化方法 结构描述语言 嵌入式系统 认证头 安全联盟 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部