收藏本站
收藏 | 手机打开
二维码
手机客户端打开本文

基于依赖图的系统信息流脉络网构建方法研究

曾建  
【摘要】: 隐通道问题使实施自主存取控制和强制存取控制的多安全级软件系统有了新的挑战,成为开发高等级可信软件系统过程中的难点和关键问题,在国际上得到了充分的重视。信息流分析法是最早的隐通道分析方法,也是一种有效的隐通道分析方法。 为了详细、准确地描述系统中的信息流,本文基于系统源代码构建了系统信息流脉络网,它包含不同层次的信息流图,这些信息流图为信息流分析法分析隐通道提供基础信息流输入。简单地按着信息流规则直接构建系统的信息流图,由于信息流固有的各种性质,分析时会导致信息流图中不同信息流路径的交叉,引入大量的伪信息流路径,增加分析工作量。同时,目前对信息流图分析工作的穷举性,使信息流分析工作量与信息流图规模成正比,为了降低分析难度,需要构建规模尽可能小的信息流图。本文的目的就是为了减少信息图中的伪信息流路径,构建一系列规模小、分析难度低的信息流图。 本文的创新有两个方面:一是基于依赖图,结合不同程序语句间的依赖关系抽取变量间信息流构建信息流图,不是单纯针对程序中每条语句抽取信息流;二是变量间信息流只考虑其源点变量和终点变量,忽略变量间信息流传递路径,从而避免信息流图中信息流路径的交叉,大大减少的伪信息流路径。 本文所描述的方法主要有三个过程:第一步,基于系统程序源代码的控制流图,确定语句间的数据依赖关系和控制依赖关系,构建程序依赖图;第二步,基于程序依赖图进行传递依赖处理,构建传递依赖图,这一过程实质上处理了信息流的传递性;第三步,基于传递依赖图生成信息流,构建系统信息流脉络网中的各种信息流图。本文最终构建了系统信息流脉络网中的一系列信息流图:描述函数内部变量之间信息流的函数信息流子图和函数信息流完全图、描述系统中各个函数之间的函数间信息流图和函数间信息流简图、描述系统中各变量之间信息流的系统信息流图。这些信息流图从不同的层次和不同的角度描述了系统中的信息流。考虑到信息流的传递性和同源性,它们仅描述了信息流的源点和终点,不再考虑信息流的传递路径,从而避免了不同信息流路径在信息流图中的交叉,避免了信息流的传递性引进伪信息流路径的问题。


知网文化
【相似文献】
中国期刊全文数据库 前20条
1 李翠娟;宣国良;;集群合作下的企业信息流动分析[J];情报科学;2006年05期
2 韩秋明;;法律服务的信息流分析及控制[J];情报杂志;2011年08期
3 常微;娄策群;;我国农产品销售信息流动模式分析[J];情报科学;2010年08期
4 杨斌;王学东;;证券电子商务信息流研究[J];图书馆理论与实践;2009年03期
5 成晖;;简论高校图书馆建设对知识创新教育的作用[J];当代教育论坛(上半月刊);2009年05期
6 王云梅;;社会资本理论下的网络信息资源流动[J];情报探索;2011年01期
7 张首魁;党兴华;;企业网络与企业网络化模型研究:基于信息流的分析[J];管理学报;2011年06期
8 金中仁;张杰;;基于信息集群:生命周期理论简析[J];情报资料工作;2008年03期
9 徐仕敏;略论国家创新体系中的信息流动[J];图书情报工作;2001年04期
10 李斓,冯登国,徐震;多级安全OS与DBMS模型的信息流及其一致性分析[J];计算机学报;2005年07期
11 何义珠;;高校图书馆——农村社区信息循环圈的构建——以农村文化信息化活动为参照[J];图书馆学刊;2008年06期
12 朱晓峰;政府信息流研究及模型构建[J];中国图书馆学报;2005年03期
13 李卫华;李师贤;;信息流理论及其应用研究[J];计算机科学;2006年07期
14 徐人平;王坤茜;郝敬宾;;基于快速原型技术的产品创新流程再造[J];机电产品开发与创新;2007年02期
15 张阳;;带敏感标签的SELinux安全策略信息流分析方法[J];计算机学报;2009年04期
16 梁辉;;省际信息流动空间格局与机制分析[J];情报杂志;2009年07期
17 高杨堰;;三维框架下信息流动变化的螺旋模型[J];情报杂志;2009年09期
18 刘合翔;;“信息空间”理论视角下的信息服务产业界定与划分[J];图书情报工作;2010年22期
19 张星;;西安传媒是国际化大都市背景下社会变革和发展的基本动力[J];新闻知识;2011年05期
20 张洪军;虞俊;;多级安全系统中数据聚合的无干扰属性[J];计算机工程与设计;2009年21期
中国重要会议论文全文数据库 前10条
1 ;规范网络恶搞:版权、审查制度与信息流动(英文)[A];北京论坛(2007)文明的和谐与共同繁荣——人类文明的多元发展模式:“多元文化、和谐社会与可选择的现代性:新媒体与社会发展”新闻传播分论坛论文或摘要集[C];2007年
2 宋志敏;南相浩;;信息流动的本质[A];第14届全国计算机安全学术交流会论文集[C];1999年
3 沈逸;;信息技术革命、跨国信息流动与舆论塑造[A];上海市社会科学界第五届学术年会文集(2007年度)(青年学者文集)[C];2007年
4 王科;万玉成;胡勇;;航材供应链管理中的信息流控制分析[A];第九届中国青年信息与管理学者大会论文集[C];2007年
5 王锦琰;罗非;;大鼠丘脑-皮层通路在辐射热伤害性刺激中的信息流动[A];中国神经科学学会第六届学术会议暨学会成立十周年庆祝大会论文摘要汇编[C];2005年
6 谷千军;;信息流的度量分析[A];2008'中国信息技术与应用学术论坛论文集(一)[C];2008年
7 杨锦陈;李卫君;杨玉芳;;记忆负荷对句子产生中水平信息流动的影响[A];第十一届全国心理学学术会议论文摘要集[C];2007年
8 王健;顾培亮;;人-机-环境系统中信息处理模型的研究[A];人—机—环境系统工程创立20周年纪念大会暨第五届全国人—机—环境系统工程学术会议论文集[C];2001年
9 王志珍;;蛋白质折叠异常或蛋白质折叠错误-蛋白质聚集-构象病[A];中国科协2005年学术年会生物物理与重大疾病分会论文摘要集[C];2005年
10 穆允生;李普庆;;利用信息管理系统 实现动态管理 全面提升企业管理水平[A];苏鲁皖赣四省金属学会第十三届焦化联合学术年会论文集[C];2005年
中国博士学位论文全文数据库 前10条
1 殷红海;中国A、B股市场的分割性检验[D];复旦大学;2004年
2 胡新明;中国股票市场分割与一体化演进问题研究[D];华中科技大学;2007年
3 王晶;我国居住地产项目规划与建筑设计流程研究[D];天津大学;2008年
4 赵金楼;基于原本观的网络维力与管理变革研究[D];哈尔滨工程大学;2006年
5 吴战杰;统一信息论视域中的学习及学习技术研究[D];华东师范大学;2007年
6 王光杰;分布式R&D网络研究[D];武汉理工大学;2011年
7 陈凌;高校自主创新信息保障体系及其运行机制研究[D];吉林大学;2009年
8 程亮;基于模型检测的安全操作系统验证方法研究[D];中国科学技术大学;2009年
9 刘亮;基于国际展览会的暂时性集群发展研究[D];华东师范大学;2012年
10 李冰;技术转移中的信息资源配置研究[D];吉林大学;2008年
中国硕士学位论文全文数据库 前10条
1 杨春艳;论科学研究与开发中的信息流动[D];山西大学;2005年
2 郭荣荣;境内外人民币外汇市场间的信息流动关系研究[D];湖南大学;2009年
3 王青;网络论坛中公共危机传播的信息流分析[D];苏州大学;2009年
4 于蓓;沪深A、B股市场分割的信息流动分析[D];天津财经大学;2006年
5 王芬;概念隐喻的语篇连贯功能分析[D];福建师范大学;2008年
6 李佳佳;基于信息流视角的开放数据理论模型设计及实证研究[D];华东师范大学;2011年
7 潘小珏;从信息流动的角度看庭审问答的过程控制[D];广东外语外贸大学;2008年
8 樊娟红;以语料库的方法分析司法文本英译汉中的翻译转移现象[D];广东外语外贸大学;2008年
9 周坚;基于信息熵理论的工程项目管理组织结构研究[D];中南大学;2008年
10 赵斐;中国股票市场中A、H股间信息传递的实证研究[D];青岛大学;2007年
中国重要报纸全文数据库 前10条
1 杨志军 白宾;突出要素训练节点 指挥信息流动顺畅[N];战士报;2011年
2 刘翔;信息流动才有价值[N];中国计算机报;2003年
3 柳辉艳;用高新技术推动信息流动[N];中国邮政报;2003年
4 ;实施信息流动性技术[N];计算机世界;2003年
5 Janet Kreiling;信息流动性:新价值的源泉[N];计算机世界;2003年
6 本报评论员 高剑;信息流动激活城市活力[N];东莞日报;2008年
7 ;挖掘数据的经济价值[N];中国计算机报;2003年
8 李松 廖红斌 韩志忠 张岐山;把好事办到群众的心坎上[N];人民公安报;2006年
9 郑昭;打造信息流动的“高速公路”[N];福建日报;2008年
10 ;实现数据的经济价值[N];计算机世界;2003年
中国知网广告投放
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978