基于LogicSQL的B1级别安全数据库的研究与实现

来源 :贵州大学 | 被引量 : 1次 | 上传用户:jmzsren1
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
随着计算机的广泛使用和网络技术的迅速普及,出现了大量的信息,在这些信息中既有一股的可公开信息,也有需要保密的重要信息。数据库系统必须保证保密信息的安全存储和访问,如何保障数据库的安全性就成了一个亟待解决的问题。而在中国市场上,数据库产品的最高安全等级为C2级,更高级别的数据库产品是限制对我国出口的:要使用B1以上级别的安全数据库只有在基于拥有全部源代码和自主知识产权的数据库管理系统基础上进行开发。因此,国产系统软件及安全方面的理论与应用研究,具有较高的现实意义和理论意义。数据库安全理论和技术是数据库理论研究的一个重要方向。国外研究者已经对多级安全数据库管理系统的研究和实现做了大量的工作,多级安全数据库通过为访问数据库的主体和数据库中的客体指定安全级,主体对客体的访问遵循强制存取控制策略,实现了对数据库中信息的保护。本文对典型的安全理论模型—Bell-LaPadula模型进行了详细的研究分析,在其基础上提出了一种新的安全数据库系统模型,该模型对元素级安全标记、标签安全进行了探讨;把安全级分为分层密级和非分层范围组成的二元组与安全标签,达到元素级标签安全。鉴于强制存取控制模型在高安全数据库系统中的重要作用,在自行开发的具有自主版权的数据库管理系统LogicSQL上实现了该模型,使其至少达到B1级别安全。
其他文献
海洋科学考查是指研究海洋的性质、自然现象和变化规律,以及有关海洋利用和开发的知识体系。认知海洋、开发和利用海洋已经成为世界各海洋强国解决资源与环境相关问题、维护国
传统的仿真生物动画的生成是通过采用“关键帧”技术实现的,这需要预先给定生物在某一时刻的位置、形状和运动状态,不仅工作量巨大而且仿真效果不理想,另外,仿真生物动画中的
医学图像三维可视化技术是当前可视化研究的重点,也是实践中最常遇到的。直接体绘制技术是可视化中一类重要的技术。与从数据场中抽取几何面进行可视化的方法相比,体绘制方法不
随着互联网应用的普及,网络蠕虫对计算机系统安全和网络安全的威胁日益增加,给社会经济带来了巨大损失,网络蠕虫已经成为当今网络安全领域研究的重要课题。网络蠕虫传播模型是分
随着全国社会用电量跨跃式增长,电力工业进入快速发展时期,抄表系统也由原来的人工抄表系统,向着自动抄表、远程抄表、集中抄表方向发展。而在抄表系统中,嵌入式系统的引入及其应
随着互联网的日益开放以及网络技术的飞速发展,伴随而来的网络攻击行为也愈来愈严重,网络安全问题已经成为一个非常热门的话题,正逐渐受到人们的重视。传统的各种静态安全防御体
当前嵌入式系统的开发多为在嵌入式操作系统基础上的开发,这样可使开发人员专注于应用功能的开发,加快开发速度,降低开发风险。现有的商业嵌入式操作系统可提供通常的技术服务,但
随着人们对计算机网络的依赖性不断增强,网络安全越来越受到重视。网络中的入侵行为主要是指入侵者对计算机系统资源的非授权访问,可以造成系统数据的丢失和破坏、系统拒绝服务
高校成人高等教育发展迅速,成人高等教育的管理与普通高等教育的管理有一定差别,管理相应灵活复杂。尤其医学院校的成人教育基础课在校本部授课,临床实践课在远程附属医院授课,使
群体运动是自然界尤其是海洋生态系统中最常见的景象之一。无论是在陆地上还是海洋中,群体运动都有一个共同的特点:生物个体的行为相对简单,但当它们集群后,就会表现出复杂的群体