【摘 要】
：
在研究等级化信息系统特点的基础之上，给出了一个等级化网络环境下安全通道建立协议LTEP，该协议通过联合机制确立了不同等级、不同敏感级的信息系统间通信关系，依据虚拟主体转换
【机 构】
：
解放军信息工程大学电子技术学院,解放军防空兵指挥学院
【基金项目】
：
国家高技术研究发展计划（863）（No.2009AA012438）,国家973计划前期研究专项（No.2011CB311801）,河南省杰出科技创新人才计划（No.114200510001h）.
论文部分内容阅读
在研究等级化信息系统特点的基础之上，给出了一个等级化网络环境下安全通道建立协议LTEP，该协议通过联合机制确立了不同等级、不同敏感级的信息系统间通信关系，依据虚拟主体转换以及安全标记映射规则，实现了不同等级信息系统内通信主体的授权，克服了安全标记的异构性问题，而且协议所构建的多级安全通道能够有效地实现不同敏感级别信息传输的相互隔离。拓展了基于串空间的安全协议分析方法，从认证性、机密性、完整性等几个方面对LTEP协议进行了安全性分析。
其他文献
文学创作有捷径吗?答曰:否。中外古今的作家一致认为,“文学高峰无捷径”,叫卖“写作秘诀”和“小说捷径”,是“胡说”,说这话的人是些“空头文艺匠”(见[美]辛克莱《文学杂
目的 :观察百令胶囊治疗IgA肾病血尿的疗效。方法 :筛选 32例以血尿症状为主的IgA肾病患者 ,随机分为两组 ,均用科素亚、潘生丁和维生素E治疗 ,治疗组同时加用百令胶囊 1 0 ,
云南纸马作为一种俗信祭祀用品至今依然流行在云南民间。本文挖掘云南纸马的文化本质,对其进行艺术人类学解读,以实现云南纸马的艺术还原。
朝鲜族群音乐相关的文化人类学和艺术人类学的研究发展,基本都是从人类学的推动和发展的角度进行研究。中国早期的人类学研究专家有诸多先驱。目前,人类学作为当前人文科学类
为了解决目前不少教师对语料库的知识和技能知之甚少,缺乏必要的相关信息的困难,在广泛调查和实践应用的基础上,从语料库的学习和培训、英语教学常用的本族语和学习者语料库
减缓猪肉价格周期性大幅波动不仅有利于提升消费者福利水平,更有助于生猪产业的健康持续发展。本文运用有向无环图技术(DAG),并基于DAG的同期因果关系结果构建SVAR模型,采用
办公空间对于当代发展中的社会来说是极为重要的空间设计内容,在理论界对于办公共空间的设计也一直走在其他空间设计艺术学的前列,近些年来,人们对办公环境的要求越来越高,一
《普通高中历史课程标准（实验）》是新一轮课程改革的重大成果，解读其结构可以得出，历史必修模块与选修模块是一种“并联＋并联”的形式，那么，这种形式带来的巨大选择空间必然对我们的
新课改的要求对于中学英语教学目标的要求越来越来高．通过中学阶段的英语学习让学生必须掌握基础性知识．并且要求能够使其语言运用能力有所提高。我们要实现这一目标就要激发和
人民版高中历史教科书,以《普通高中历史课程标准(实验)》中的基本理念为编写指导原则,由国家历史课程标准研制组组长、北京师范大学历史学系朱汉国教授担任主编,集全国众多