论文题名: | 单向安全隔离与信息交换机制的研究与实现 |
关键词: | 铁路系统;单向安全隔离;信息交换机制;安全级网络 |
摘要: | 随着铁路运输需求的不断增长,当前的铁路系统面临极大的挑战。铁路信息化发展战略已经将智能铁路作为未来的发展方向。为实现铁路系统更加智能和高效地运作,需要铁路各个业务系统之间互联互通、信息共享和协同工作,然而连通不同安全级的业务系统,会带来一系列严重的网络安全威胁,例如敏感信息泄漏、网络攻击与入侵等。传统的网络安全防护技术虽然保证了一定级别的网络安全,但却无法实现彻底的安全隔离,而且对于内部原因造成的敏感信息泄漏安全问题也无能为力。随着新型网络攻击的不断出现以及铁路信息系统对安全的特殊需求,如何从根本上保证不同安全级网络的边界安全,从而实现铁路信息系统不同安全域之间安全隔离与信息可靠交换,已经成为当前智能铁路建设亟待解决的问题之一,也是本文研究的课题。 本文首先对现有的安全隔离与信息交换技术及其原理进行分析,并总结了它们各自的优点与不足。在理论方面,研究了经典的BLP(Bell-LaPadula Model)安全理论模型,分析基于该模型的单向通信在安全性与可用性之间的矛盾。为解决该矛盾,本文引入信息流无干扰模型的思想,通过降级域,实现信息以降级方式逆向流动,弥补了遵循BLP模型的单向通信在可用性方面的缺陷。在安全性方面,借助虚拟化隔离技术将通信进程的执行环境分离,对降级域潜在的隐通道进行安全控制。基于以上研究,本文提出单向安全隔离与信息交换机制,该机制不仅实现了不同安全级网络之间物理单向隔离与虚拟化隔离的双重安全隔离,也保证了信息的可靠交换。最后,基于单向安全隔离与信息交换机制,本文设计并实现了单向安全网关原型系统,通过对原型系统的测试与分析,论证了该机制的可行性。在实际应用上,利用单向安全网关原型系统,实现了不同安全级网络之间文件单向“摆渡”,数据库单向同步以及邮件单向转发,并在铁路信息安全等级保护关键技术示范系统中得到应用。 本文的研究成果综合考虑了多种安全隔离技术的特点,在BLP安全模型基础上,结合了信息流无干扰模型的思想,协调了安全性和可用性之间的矛盾,在满足不同安全级网络信息交换的同时,有效解决了各种网络入侵攻击和敏感信息泄漏安全问题,为铁路信息系统不同安全域之间安全隔离与信息交换提供了技术和理论上的参考。 |
作者: | 陈达 |
专业: | 计算机科学与技术 |
导师: | 李晓勇 |
授予学位: | 硕士 |
授予学位单位: | 北京交通大学 |
学位年度: | 2015 |
正文语种: | 中文 |