收藏本站
《系统仿真学报》 2006年06期
收藏 | 投稿 | 手机打开
二维码
手机客户端打开本文

隐通道的仿真分析

王昌达  鞠时光  
【摘要】:在TCSEC和CC标准中,软件要获得B2或EAL5及以上安全级的认证,必须要进行隐通道分析。通过建立隐通道的仿真系统,根据试验分析隐通道的性质,其中一些性质是在以往基于源代码或顶级描述的静态隐通道分析中没有观察到的。对这些性质的成因,做了理论上的解释,并提出了分两步进行的隐通道审计方法。

手机知网App
【参考文献】
中国期刊全文数据库 前1条
1 王昌达,鞠时光;BLP安全模型及其发展[J];江苏大学学报(自然科学版);2004年01期
【共引文献】
中国期刊全文数据库 前6条
1 王元珍;单华松;朱虹;;对象关系型DBMS的强制访问控制研究[J];计算机工程与应用;2006年09期
2 周莲英,刘凤玉,朱浩;基于协作Agent的分布式入侵检测系统[J];江苏大学学报(自然科学版);2005年02期
3 鞠时光,宋香梅;用于信息流分析的信息流树结构[J];江苏大学学报(自然科学版);2005年05期
4 崔艳荣,文汉云;数据库安全模型及其应用研究[J];计算机应用研究;2005年07期
5 刘洋;艾青;郭晓莉;秦玉平;;基于访问控制的数据库安全模型比较研究[J];渤海大学学报(自然科学版);2006年04期
6 王西点,吴琦,王琨;电子政务中实现授权及访问控制的研究[J];邮电设计技术;2004年07期
中国硕士学位论文全文数据库 前7条
1 蔡贵贤;嵌入式安全操作系统及其存储管理的设计与开发[D];江苏大学;2006年
2 徐仁义;RBAC模型的形式化研究[D];解放军信息工程大学;2006年
3 孙建峰;图纸自动化生成系统的设计与实现[D];江苏大学;2007年
4 刘志锋;多级安全系统中主体间信息感知机理的研究[D];江苏大学;2007年
5 段鹏松;一种可审计的基于角色的访问控制模型研究及应用[D];重庆大学;2007年
6 钱炜;信息流图分割算法的设计与信息流的PVS实现[D];江苏大学;2008年
7 宋香梅;基于源代码的隐通道搜索工具的研究及实现[D];江苏大学;2005年
【同被引文献】
中国期刊全文数据库 前1条
1 卿斯汉;高安全等级安全操作系统的隐蔽通道分析[J];软件学报;2004年12期
【二级参考文献】
中国期刊全文数据库 前2条
1 刘文清,卿斯汉,刘海峰;一个修改BLP安全模型的设计及在SecLinux上的应用[J];软件学报;2002年04期
2 蒋韬,李信满,刘积仁;信息安全模型研究[J];小型微型计算机系统;2000年10期
【相似文献】
中国期刊全文数据库 前10条
1 王嵩;王东;马传波;于国梁;贺祉瑄;;浑河沈阳城市段三维数字仿真系统研究[J];现代农业科技;2011年16期
2 徐正;单忠德;李周;Hans Peter Lentes;;基于Lightning的生产线仿真[J];中国机械工程;2011年14期
3 高云伟;邵国强;郑瑞利;李士峰;;注聚站仿真操作系统开发[J];信息技术;2011年08期
4 苏曙;王建国;陈辉;尚前明;;油轮液货作业装载系统建模与仿真实现[J];船舶工程;2011年04期
5 李耀军;潘泉;沈贺;张绍武;凌志刚;;无人机景象匹配辅助导航仿真系统设计与实现[J];火力与指挥控制;2011年07期
6 朱明秀;;基于3DS MAXScript语言的汽车仿真系统设计与研究[J];计算机与数字工程;2011年07期
7 孙志华;张新锋;;数控仿真车刀几何模型建立[J];职业;2011年24期
8 苗亚;韩松臣;张明;;基于SuperMap的空域设计评估综合系统[J];武汉理工大学学报(信息与管理工程版);2011年04期
9 刘如九;张振山;郭朝晖;柴天佑;;板坯连铸二次冷却过程动态交互式仿真系统[J];系统仿真学报;2011年09期
10 陈建伟;;仿真结果动态一致性检验方法研究进展[J];河北理工大学学报(自然科学版);2011年03期
中国重要会议论文全文数据库 前10条
1 王治平;;MCM移动通信环境仿真系统软件开发[A];面向21世纪的科技进步与社会经济发展(上册)[C];1999年
2 陈谷仓;欧宏武;王元钦;侯孝民;;面向对象仿真在航天无线电测控仿真系统中的应用[A];中国体视学学会图像分析专业、中国体视学学会仿真与虚拟现实专业、中国航空学会信号与信息处理专业第一届联合学术会议论文集[C];2000年
3 闫冬梅;顾德英;;电梯群控模糊算法仿真[A];2004中国控制与决策学术年会论文集[C];2004年
4 余江伟;高亚辉;刘志远;;自动变速箱动力学仿真系统的开发[A];第25届中国控制会议论文集(中册)[C];2006年
5 李加祥;;基于对抗的军事作战与训练仿真系统[A];2000中国控制与决策学术年会论文集[C];2000年
6 曲战胜;王春慧;;交会对接人机控制仿真系统的研究[A];全国第一届嵌入式技术联合学术会议论文集[C];2006年
7 刘晓飞;杨杰;徐瑞霞;;航迹起始仿真系统[A];第一届中国高校通信类院系学术研讨会论文集[C];2007年
8 张庆杰;杜涛涛;朱华勇;沈林成;;基于DCPS的分布式多UCAV协同控制半物理仿真系统[A];2009中国控制与决策会议论文集(2)[C];2009年
9 蔡鹏;赵伟;任大鹏;;行人仿真系统中的碰撞检测与避让[A];工程设计与计算机技术:第十五届全国工程设计计算机应用学术会议论文集[C];2010年
10 霍志璞;黄克正;宋政君;胡岩;刘怡;黄宝香;;Web嵌入式虚拟数控机床加工仿真系统[A];机床与液压学术研讨会论文集[C];2004年
中国重要报纸全文数据库 前10条
1 记者 杨夏 通讯员 张萍萍;武汉完善积涝仿真系统[N];中国气象报;2009年
2 本报记者 钱炜;“交通仿真”保障观众有序疏散[N];科技日报;2006年
3 本报记者 程竹;国庆群众游行:全景智能仿真系统挑大梁[N];中国文化报;2009年
4 特约记者 王握文 记者 蔡侗辰;我首个高层体系结构仿真支撑平台问世[N];光明日报;2003年
5 王卓鸣;航天仿真提出数字南水北调[N];中国航天报;2003年
6 郑佚;仿真技术搭建起现实与虚拟的桥梁[N];中华建筑报;2008年
7 本报记者 吴玉征;寻找智慧城市的“神经元”[N];计算机世界;2009年
8 Vishala Sri-Pathma 赵容 编译;算法交易——市场增长的重要趋动因素[N];期货日报;2009年
9 蔡治国;704所 高性能计算仿真中心建成[N];中国航天报;2010年
10 周尉平;奉化城市规划迈入数字时代[N];中国测绘报;2011年
中国博士学位论文全文数据库 前10条
1 王昌达;隐通道可计算性的研究[D];江苏大学;2006年
2 崔宾阁;安全数据库系统隐通道分析及相关技术研究[D];哈尔滨工程大学;2006年
3 曹星平;HLA仿真系统的校核、验证与确认研究[D];国防科学技术大学;2004年
4 董阳泽;声诱饵仿真评估系统的研究和实现[D];西北工业大学;2002年
5 唐立军;网络中心战下指挥控制决策系统研究[D];中北大学;2008年
6 彭勇;作战仿真模型体系分析及其模型设计与实现关键技术研究[D];国防科学技术大学;2011年
7 郑利平;仿真VV&A分析和管理方法研究[D];合肥工业大学;2008年
8 闵小平;鼻咽癌近距离放射治疗手术计划和仿真系统的关键技术研究[D];厦门大学;2008年
9 李彬轩;柴油机电控单元硬件在环仿真系统的设计及其相关研究[D];浙江大学;2001年
10 马民;分布式交互仿真中容错和实时技术研究[D];国防科学技术大学;2006年
中国硕士学位论文全文数据库 前10条
1 丁海玲;基于JPEG2000的高速遥感图像实时压缩仿真系统研究[D];中国科学院研究生院(空间科学与应用研究中心);2005年
2 王达;多武器平台仿真系统数据VV&C技术研究[D];哈尔滨工业大学;2006年
3 钟贤坤;基于自由市场机制的多机器人探索仿真[D];北京交通大学;2007年
4 田密;PLC仿真系统设计与实现及其实验应用[D];华中科技大学;2007年
5 赵嘉斌;冷连轧机三维动画子系统的设计与实现[D];东北大学;2005年
6 李江玲;铁路信号微机联锁仿真系统的研究[D];天津大学;2005年
7 李栋;卫星遥感成像计算机仿真系统的研究与应用[D];长春理工大学;2006年
8 朱永彬;基于Agent的金融网络中资金流动仿真系统研究[D];太原科技大学;2008年
9 谢妍;煤粉制备生产过程仿真系统的研究[D];武汉理工大学;2002年
10 秦旭;基于Web的数控铣削仿真系统的研究和实现[D];南京航空航天大学;2005年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026