期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
2
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
基于扩展SysML活动图的嵌入式系统设计安全性验证方法研究
被引量：
5
1
作者
黄传林
黄志球
+2 位作者
胡军
徐丙凤
曲长亮
《小型微型计算机系统》
CSCD
北大核心
2015年第3期408-417,共10页
能源、交通等领域中复杂嵌入式系统设计的安全性分析与验证工作已经成为当前的重要研究热点之一;本文提出一种结合MARTE语义信息的扩展Sys ML活动图模型,用于描述安全关键应用中的嵌入式系统动态行为的设计,并对此扩展模型展开基于模型...
能源、交通等领域中复杂嵌入式系统设计的安全性分析与验证工作已经成为当前的重要研究热点之一;本文提出一种结合MARTE语义信息的扩展Sys ML活动图模型,用于描述安全关键应用中的嵌入式系统动态行为的设计,并对此扩展模型展开基于模型转换的系统设计安全性特征的形式化分析与验证方法的研究;包括:构建了Sys ML活动图与MARTE中非功能性质建模语义相结合的元模型,以及验证工具UPPAAL的时间自动机元模型,并且给出了二者之间的语义映射规则;建立了从时间自动机模型描述到UPPAAL工具输入格式之间的语法转换方法;设计了一个基于AMMA平台的面向扩展Sys ML活动图的模型转换与验证框架;最后,给出了一个高铁控制系统设计模型的安全性验证的实例分析.
展开更多
关键词
嵌入式系统安全性
分析
SysML活动图
MARTE
模型转换
形
式
化方法
在线阅读
下载PDF
职称材料
公钥密码算法识别技术研究
被引量：
7
2
作者
张经纬
舒辉
+1 位作者
蒋烈辉
李继中
《计算机工程与设计》
CSCD
北大核心
2011年第10期3243-3246,3273,共5页
嵌入式设备在网络中引发了很多安全隐患,针对嵌入式系统的网络安全问题,识别其中的公钥密码算法是分析系统安全性的一个重要方面。在对公钥密码算法加密原理的研究以及在汇编级算法特征分析的基础上,提出了一种基于语义的公钥密码算法...
嵌入式设备在网络中引发了很多安全隐患,针对嵌入式系统的网络安全问题,识别其中的公钥密码算法是分析系统安全性的一个重要方面。在对公钥密码算法加密原理的研究以及在汇编级算法特征分析的基础上,提出了一种基于语义的公钥密码算法加密行为分析方法,可以对算法的加密行为进行准确地刻画,并结合模型检测技术完成对嵌入式系统中可能包含的公钥密码算法的识别。测试结果表明,该方法具有较好的准确性和稳定性。
展开更多
关键词
嵌入式系统安全性
算法识别
程序理解
算法特征
模型检测
在线阅读
下载PDF
职称材料
题名
基于扩展SysML活动图的嵌入式系统设计安全性验证方法研究
被引量：
5
1
作者
黄传林
黄志球
胡军
徐丙凤
曲长亮
机构
南京航空航天大学计算机科学与技术学院
南京大学计算机软件新技术国家重点实验室
出处
《小型微型计算机系统》
CSCD
北大核心
2015年第3期408-417,共10页
基金
国家自然科学基金项目(61100034
61170043)资助
+2 种基金
中国博士后科学基金项目(20110491411)资助
江苏省普通高校研究生科研创新计划资助项目
中央高校基本科研业务费专项资金(CXZZ11_0218)资助
文摘
能源、交通等领域中复杂嵌入式系统设计的安全性分析与验证工作已经成为当前的重要研究热点之一;本文提出一种结合MARTE语义信息的扩展Sys ML活动图模型,用于描述安全关键应用中的嵌入式系统动态行为的设计,并对此扩展模型展开基于模型转换的系统设计安全性特征的形式化分析与验证方法的研究;包括:构建了Sys ML活动图与MARTE中非功能性质建模语义相结合的元模型,以及验证工具UPPAAL的时间自动机元模型,并且给出了二者之间的语义映射规则;建立了从时间自动机模型描述到UPPAAL工具输入格式之间的语法转换方法;设计了一个基于AMMA平台的面向扩展Sys ML活动图的模型转换与验证框架;最后,给出了一个高铁控制系统设计模型的安全性验证的实例分析.
关键词
嵌入式系统安全性
分析
SysML活动图
MARTE
模型转换
形
式
化方法
Keywords
analysis of embedded system
SysML activity diagram
MARTE
model transformation
formal method
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
公钥密码算法识别技术研究
被引量：
7
2
作者
张经纬
舒辉
蒋烈辉
李继中
机构
解放军信息工程大学信息工程学院
出处
《计算机工程与设计》
CSCD
北大核心
2011年第10期3243-3246,3273,共5页
基金
国家863高技术研究发展计划基金项目(2007AA01Z483)
文摘
嵌入式设备在网络中引发了很多安全隐患,针对嵌入式系统的网络安全问题,识别其中的公钥密码算法是分析系统安全性的一个重要方面。在对公钥密码算法加密原理的研究以及在汇编级算法特征分析的基础上,提出了一种基于语义的公钥密码算法加密行为分析方法,可以对算法的加密行为进行准确地刻画,并结合模型检测技术完成对嵌入式系统中可能包含的公钥密码算法的识别。测试结果表明,该方法具有较好的准确性和稳定性。
关键词
嵌入式系统安全性
算法识别
程序理解
算法特征
模型检测
Keywords
embedded system security
algorithm recognition
program understanding
algorithm characteristic
model checking
分类号
TP301.6 [自动化与计算机技术—计算机系统结构]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
基于扩展SysML活动图的嵌入式系统设计安全性验证方法研究
黄传林
黄志球
胡军
徐丙凤
曲长亮
《小型微型计算机系统》
CSCD
北大核心
2015
5
在线阅读
下载PDF
职称材料
2
公钥密码算法识别技术研究
张经纬
舒辉
蒋烈辉
李继中
《计算机工程与设计》
CSCD
北大核心
2011
7
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
