收藏本站
《第十三届全国计算机安全技术交流会论文集》1998年
收藏 | 手机打开
二维码
手机客户端打开本文

利用源代码信息流分析搜寻隐蔽存储信道

周钢  谢小权  
【摘要】:正一、引言计算机安全测试技术是安全领域重要研究对象之一,对隐蔽存储信道的搜寻和分析则是安全测试技术中的一个重要组分。搜寻隐蔽存储信道的一般方法是对操作系统设计的顶层形式化描述进行信息流分析,这类方法要求有详细的顶层形式化描述,并且要求给出顶层形式化描述和操作系统具体实现之间严格的一致性证明。在此前提下,用此类方法才能搜寻出系统中大部分的隐蔽存储信道。目前,我国国内一些研究单位开发的安全系统和安
【作者单位】:航天工业总公司706所
【分类号】:F204

【共引文献】
中国期刊全文数据库 前10条
1 周萍,欧阳楷;离散型非对称HOPFIELD模型的运行特性及其在加密技术中的应用[J];北京生物医学工程;1997年02期
2 侯彤;侯红;万亚兵;盛玉萍;侯赣生;;一种网络通信中信息和数据的加密系统[J];江西师范大学学报(自然科学版);2005年06期
3 荆涛,杨怀江,徐勇,沈长生;DSP混沌随机信号发生器构造算法研究[J];长春邮电学院学报;1997年03期
4 肖力;RSA密码系统实现数字签名[J];长春工程学院学报(自然科学版);2002年04期
5 潘姜,吉明,潘皎 ,曾海涛;一种实用软件狗的设计和实现[J];电脑学习;2002年04期
6 龚波,郑若忠;数据库系统安全:需求、机制和结构[J];电脑与信息技术;1997年04期
7 祝明慧;江瑞侠;张艳丽;;计算机数据安全策略的研究[J];电脑知识与技术;2006年14期
8 李月明;应用软件的加密技术及其使用[J];上海电力学院学报;1994年02期
9 陈刚;互联网安全控制和实现方法[J];电子对抗技术;1998年01期
10 罗东健,谢长生,王峻;附网存储设备的安全机制[J];电子计算机与外部设备;2000年03期
中国重要会议论文全文数据库 前1条
1 钱静;翁佩德;罗家融;陈灼民;;基于以太网的数据监控系统网络设计[A];第13届全国计算机、网络在现代科学技术领域的应用学术会议论文集[C];2007年
中国博士学位论文全文数据库 前9条
1 马恒太;基于Agent分布式入侵检测系统模型的建模及实践[D];中国科学院软件研究所;2001年
2 黎忠文;分布式控制系统中新安全保障技术的研究——安全核技术[D];电子科技大学;2001年
3 姜梅;基于生物免疫系统的计算机入侵检测技术研究[D];南京航空航天大学;2001年
4 李立新;安全数据库及其应用系统研究[D];重庆大学;2001年
5 朱鲁华;安全操作系统模型和实现结构研究[D];中国人民解放军信息工程大学;2002年
6 刘美兰;网络安全监测预警技术研究[D];中国人民解放军信息工程大学;2002年
7 刘海峰;安全操作系统若干关键技术的研究[D];中国科学院研究生院(软件研究所);2002年
8 王小明;时态角色委托代理授权图模型及其分析研究[D];西北大学;2004年
9 吴应良;网络计算中的智能信息处理方法研究[D];华南理工大学;2000年
中国硕士学位论文全文数据库 前10条
1 王菲;安全技术研究及其在MIS中的应用[D];大连理工大学;2000年
2 孙波;基于协同与安全技术的POS系统研究[D];山东师范大学;2001年
3 郑晓妹;安全操作系统访问控制机制研究[D];南京航空航天大学;2002年
4 卢震宇;PKI中多级信任模型的分析和实现[D];中国科学院研究生院(电子学研究所);2002年
5 李晓莉;计算机网络安全的研究[D];郑州大学;2002年
6 陈喜阳;基于智能卡的在线安全小额支付系统的研究[D];武汉理工大学;2002年
7 李燏;基于分布式对象的Web系统的研究与应用[D];武汉理工大学;2002年
8 吕松茂;连锁加油站加油数据自动采集及CPU卡管理系统[D];四川大学;2002年
9 张锰;高性能安全交换机的设计与实现[D];国防科学技术大学;2001年
10 阳先强;基于文件的数据加密解密应用系统的研究和实现[D];哈尔滨工程大学;2002年
【相似文献】
中国期刊全文数据库 前10条
1 颜瑞禧;建设项目各阶段信息流分析[J];山西建筑;2005年03期
2 王勇;实施CI战略的信息流分析[J];韩山师范学院学报;2002年03期
3 林健,黄瑞华,彭晓春;虚拟企业盟主动态管理过程中信息活动和信息流分析[J];情报科学;2004年08期
4 张最良;;C~3系统设计的系统工程方法[J];中国管理科学;1988年03期
5 马赛;张春龙;;基于XML金融元数据模型研究[J];现代商贸工业;2010年13期
6 于建成,张微;2000版ISO9000产品实现过程中的信息流分析[J];中国地质大学学报(社会科学版);2005年02期
7 宋锦华;李伟;;“读者-写者”算法的讨论和改进[J];中小企业管理与科技(上旬刊);2011年05期
8 熊浩;六步实现IT规划[J];中国计算机用户;2004年35期
9 罗静;;循环经济时空信息流与示范应用分析[J];地球信息科学;2007年01期
10 刘羽鹏;;浅析PV操作在多道程序系统中的应用[J];消费导刊;2009年12期
中国重要会议论文全文数据库 前10条
1 周钢;谢小权;;利用源代码信息流分析搜寻隐蔽存储信道[A];第十三届全国计算机安全技术交流会论文集[C];1998年
2 史磊;蔡国永;隋新;;电子机构的信息流安全分析[A];2009年全国开放式分布与并行计算机学术会议论文集(上册)[C];2009年
3 赵秀凤;郭渊博;方青坡;;基于信息流分析的C代码安全编译技术研究[A];2006年全国开放式分布与并行计算机学术会议论文集(三)[C];2006年
4 廖剑;史贤俊;张戎;;在LABVIEW中实现网络通信的几种方法[A];第三届全国虚拟仪器大会论文集[C];2008年
5 李双权;陈火炎;孙玉霞;;一种Java多线程可达性测试框架系统的研究与实现[A];第十届全国容错计算学术会议论文集[C];2003年
6 陈锡辉;谢小希;李小男;高翠山;闵建;聂振东;张银鸿;谢一冈;;基于LabVIEW与OPC技术的VME机箱监控系统的设计与实现[A];第13届全国计算机、网络在现代科学技术领域的应用学术会议论文集[C];2007年
7 谢小权;;计算机系统脆弱性与信息战[A];第十二届全国计算机安全技术交流会论文集[C];1997年
8 邢清华;刘付显;;关于离散事件系统异步仿真中时钟管理机制的理论探讨[A];1994中国控制与决策学术年会论文集[C];1994年
9 毛新涛;王燕波;杨庆俊;许剑;包钢;;基于LabVIEW实时模块的3自由度气动机械手控制系统的研究[A];第五届全国流体传动与控制学术会议暨2008年中国航空学会液压与气动学术会议论文集[C];2008年
10 鲍忠贵;白方周;;故障诊断的模型跟踪法[A];1996中国控制与决策学术年会论文集[C];1996年
中国重要报纸全文数据库 前5条
1 胡苏太;关键技术的现在和未来[N];计算机世界;2000年
2 邓灿;计算机自考《操作系统》题解[N];中国电脑教育报;2002年
3 本报记者  谢文砚;要重视并行环境开发[N];网络世界;2006年
4 清华大学微处理器与SoC 技术研究中心 李鹏 张悠慧;多“芯”一意[N];计算机世界;2005年
5 Warton;Java的多线程编程[N];电脑报;2004年
中国博士学位论文全文数据库 前10条
1 陈波;基于信息流分析的安全系统验证[D];中国科学技术大学;2007年
2 黄勇;安全系统形式化设计与分析研究[D];浙江大学;2009年
3 程亮;基于模型检测的安全操作系统验证方法研究[D];中国科学技术大学;2009年
4 姜励;基于程序设计语言的安全降密模型研究[D];浙江大学;2008年
5 陶冶;多学科模糊满意协同优化方法及其应用[D];大连理工大学;2013年
6 卢超;并发软件测试理论与技术研究[D];华中科技大学;2007年
7 富浩;体系结构扩展支持的软件故障检测和定位技术研究[D];浙江大学;2009年
8 余万涛;基于Agent的移动计算及其安全性研究[D];上海交通大学;2007年
9 彭林;软件事务存储并行编程环境关键技术研究[D];国防科学技术大学;2010年
10 陈应显;矿山三维空间信息集成系统及其应用研究[D];辽宁工程技术大学;2009年
中国硕士学位论文全文数据库 前10条
1 汪晨;基于共享资源声明的并行程序语言的设计与前端实现[D];中国科学技术大学;2010年
2 钱炜;信息流图分割算法的设计与信息流的PVS实现[D];江苏大学;2008年
3 李迺璐;基于LabVIEW的风力发电监控系统的研究与应用[D];华北电力大学(北京);2010年
4 王瑞昌;操作系统隐蔽通道标识方法的研究[D];北京交通大学;2007年
5 王瑞金;物流和信息流分析图在汽车零部件企业的应用[D];吉林大学;2006年
6 付小朋;共享资源声明的并行语言程序分析技术研究[D];中国科学技术大学;2010年
7 张宇峰;基于Linux内核源代码的隐蔽通道自动化分析[D];北京交通大学;2009年
8 高银艳;电子商务典型模式中的信息流分析[D];吉林大学;2006年
9 谢琼;建设项目信息流分析[D];东南大学;2005年
10 王珏;环境噪声网络化自动监测技术研究[D];东北石油大学;2012年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026