期刊导航
期刊开放获取
VIP36
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
3
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
一种基于Petri网的隐蔽信息流分析方法
被引量：
2
1
作者
周从华
鞠时光
《计算机学报》
EI
CSCD
北大核心
2012年第8期1688-1699,共12页
隐蔽信息流分析是开发高等级可信计算机系统必须面对的问题.以Petri网作为开发安全系统的形式化建模工具,给出Petri网中隐蔽信息流存在的判定条件.提出该条件成立的两种网结构,进而可以在语法层次上预先判断隐蔽信息流的存在性,并使由...
隐蔽信息流分析是开发高等级可信计算机系统必须面对的问题.以Petri网作为开发安全系统的形式化建模工具,给出Petri网中隐蔽信息流存在的判定条件.提出该条件成立的两种网结构,进而可以在语法层次上预先判断隐蔽信息流的存在性,并使由此类结构引起的隐蔽信息流在系统的设计阶段得以避免.开发了一种基于Petri网可达图的隐蔽信息流存在性判定算法,算法遵循无干扰方法的思想,但是避免了无干扰方法中等价状态的区分和展开定理的使用.另外,算法采用深度优先搜索的策略,避免了Petri网全局可达图的构造.对复杂的安全系统,分析了子系统的各种组合运算对隐蔽信息流存在性的影响,降低了大规模系统分析的复杂度.
展开更多
关键词
隐蔽信息流
无干扰
PETRI网
组合
展开定理
在线阅读
下载PDF
职称材料
基于多维度抽象和广度优先搜索空间划分的隐蔽信息流检测方法
被引量：
1
2
作者
王昌达
朱锦
《计算机应用研究》
CSCD
北大核心
2016年第5期1533-1536,1541,共5页
隐蔽信息流检测是开发可信计算机系统中的关键问题,而状态空间爆炸是基于状态机模型检测隐蔽信息流的主要障碍。提出一种多安全级系统中基于主体安全级的二维抽象方法,在此基础上设计了广度优先的搜索空间划分方法,使得划分变量的选取...
隐蔽信息流检测是开发可信计算机系统中的关键问题,而状态空间爆炸是基于状态机模型检测隐蔽信息流的主要障碍。提出一种多安全级系统中基于主体安全级的二维抽象方法,在此基础上设计了广度优先的搜索空间划分方法,使得划分变量的选取范围更大,扩展了搜索空间划分的应用范围,克服了深度优先划分方法中划分变量难以选取的问题。实验数据表明,结合抽象和搜索空间划分的方法有效降低了模型的验证规模,因此有效缓解了状态空间爆炸问题。
展开更多
关键词
隐蔽信息流
抽象
搜索空间划分
模型检测
在线阅读
下载PDF
职称材料
安全信息流的实时监控机制
3
作者
晏立
鞠时光
王昌达
《通信学报》
EI
CSCD
北大核心
2008年第10期51-57,共7页
提出了一种基于安全自动机的信息流实时监控技术,该技术防范了恶意用户通过程序结构的缺陷窃取机密信息。监控机制使用了下推自动机,结合动态分析技术和静态分析技术,利用清除函数的原理,通过状态变换实时检测信息流的安全性。在程序执...
提出了一种基于安全自动机的信息流实时监控技术,该技术防范了恶意用户通过程序结构的缺陷窃取机密信息。监控机制使用了下推自动机,结合动态分析技术和静态分析技术,利用清除函数的原理,通过状态变换实时检测信息流的安全性。在程序执行期间,对程序事件进行抽象并跟踪信息流,用安全自动机产生的断言控制目标程序的执行,防止非法操作。用C语言实现了安全自动机,实验结果证明这种技术是灵活实用的。
展开更多
关键词
安全系统
实时监控
下推自动机
隐蔽信息流
安全模型
保密性
在线阅读
下载PDF
职称材料
题名
一种基于Petri网的隐蔽信息流分析方法
被引量：
2
1
作者
周从华
鞠时光
机构
江苏大学计算机科学与通信工程学院
出处
《计算机学报》
EI
CSCD
北大核心
2012年第8期1688-1699,共12页
基金
国家自然科学基金青年基金(61003288)
中德合作交流基金(6111130184)
+1 种基金
江苏省自然科学基金(BK2010192)
教育部博士点基金(20093227110005)资助~~
文摘
隐蔽信息流分析是开发高等级可信计算机系统必须面对的问题.以Petri网作为开发安全系统的形式化建模工具,给出Petri网中隐蔽信息流存在的判定条件.提出该条件成立的两种网结构,进而可以在语法层次上预先判断隐蔽信息流的存在性,并使由此类结构引起的隐蔽信息流在系统的设计阶段得以避免.开发了一种基于Petri网可达图的隐蔽信息流存在性判定算法,算法遵循无干扰方法的思想,但是避免了无干扰方法中等价状态的区分和展开定理的使用.另外,算法采用深度优先搜索的策略,避免了Petri网全局可达图的构造.对复杂的安全系统,分析了子系统的各种组合运算对隐蔽信息流存在性的影响,降低了大规模系统分析的复杂度.
关键词
隐蔽信息流
无干扰
PETRI网
组合
展开定理
Keywords
covert information flow
noninterference
Petri net
composition
unwinding theorem
分类号
TP316 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
基于多维度抽象和广度优先搜索空间划分的隐蔽信息流检测方法
被引量：
1
2
作者
王昌达
朱锦
机构
江苏大学计算机科学与通信工程学院
出处
《计算机应用研究》
CSCD
北大核心
2016年第5期1533-1536,1541,共5页
基金
国家自然科学基金资助项目(61300228)
江苏省科技支撑计划资助项目(BE2013103)
+1 种基金
江苏省六大人才高峰资助项目(1631170006)
江苏大学拔尖人才计划资助项目(1213000013)
文摘
隐蔽信息流检测是开发可信计算机系统中的关键问题,而状态空间爆炸是基于状态机模型检测隐蔽信息流的主要障碍。提出一种多安全级系统中基于主体安全级的二维抽象方法,在此基础上设计了广度优先的搜索空间划分方法,使得划分变量的选取范围更大,扩展了搜索空间划分的应用范围,克服了深度优先划分方法中划分变量难以选取的问题。实验数据表明,结合抽象和搜索空间划分的方法有效降低了模型的验证规模,因此有效缓解了状态空间爆炸问题。
关键词
隐蔽信息流
抽象
搜索空间划分
模型检测
Keywords
covert information flow
abstract
verification space division
model checking
分类号
TP309.2 [自动化与计算机技术—计算机系统结构]
在线阅读
下载PDF
职称材料
题名
安全信息流的实时监控机制
3
作者
晏立
鞠时光
王昌达
机构
江苏大学计算机科学与通信工程学院
出处
《通信学报》
EI
CSCD
北大核心
2008年第10期51-57,共7页
基金
国家自然科学基金资助项目(60773049)
江苏省自然科学基金资助项目(BK2007086)~~
文摘
提出了一种基于安全自动机的信息流实时监控技术,该技术防范了恶意用户通过程序结构的缺陷窃取机密信息。监控机制使用了下推自动机,结合动态分析技术和静态分析技术,利用清除函数的原理,通过状态变换实时检测信息流的安全性。在程序执行期间,对程序事件进行抽象并跟踪信息流,用安全自动机产生的断言控制目标程序的执行,防止非法操作。用C语言实现了安全自动机,实验结果证明这种技术是灵活实用的。
关键词
安全系统
实时监控
下推自动机
隐蔽信息流
安全模型
保密性
Keywords
secure system
real-time monitoring and controlling
pushdown automata
hidden information flow
securitymodel
confidentiality
分类号
TP309.2 [自动化与计算机技术—计算机系统结构]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
一种基于Petri网的隐蔽信息流分析方法
周从华
鞠时光
《计算机学报》
EI
CSCD
北大核心
2012
2
在线阅读
下载PDF
职称材料
2
基于多维度抽象和广度优先搜索空间划分的隐蔽信息流检测方法
王昌达
朱锦
《计算机应用研究》
CSCD
北大核心
2016
1
在线阅读
下载PDF
职称材料
3
安全信息流的实时监控机制
晏立
鞠时光
王昌达
《通信学报》
EI
CSCD
北大核心
2008
0
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
