-
题名多级安全OS与DBMS模型的信息流及其一致性分析
被引量：5
- 1
-
-
作者
李斓
冯登国
徐震
-
机构
上海交通大学信息安全工程学院
中国科学院软件研究所信息安全国家重点实验室
-
出处
《计算机学报》
EI
CSCD
北大核心
2005年第7期1123-1129,共7页
-
基金
国家"九七三"重点基础研究发展规划项目基金(G1999035802)
国家自然科学基金(60025205
+1 种基金
60273027)
国家"八六三"高技术研究发展计划项目基金(2002AA141080)资助.~~
-
文摘
数据库安全与操作系统安全密不可分,如果多级安全DBMS的安全策略不违反OS的安全策略,那么可以使用多级安全OS的安全机制来实现DBMS的部分安全功能,如强制访问控制.信息流分析使我们能更好地理解安全策略的意义和内容.该文给出了多级安全OS模型和以该模型为基础的多级安全DBMS模型,首次详细分析了它们在强制访问控制策略下的信息流集合.经过主客体的映射后,证明了数据库与操作系统的信息流集合是一致的,这个结论保证了利用OS的机制来实现DBMS的强制访问控制的合理性.
-
关键词
信息流
多级安全数据库
多级安全操作系统
一致性
多级关系模型
-
Keywords
Computer operating systems
Data flow analysis
Database systems
Information analysis
Security systems
-
分类号
TP309
[自动化与计算机技术—计算机系统结构]
-
-
题名一种基于FPGA的混合密码机制设计
- 2
-
-
作者
尹超
-
机构
航空工业西安航空计算技术研究所
-
出处
《航空计算技术》
2020年第2期97-100,共4页
-
基金
国家自然科学基金项目资助(61732001)。
-
文摘
多级安全操作系统可支持具有不同信息安全级别的应用在同一分区操作系统平台上运行,密码机制成为保证数据机密性和完整性的重要手段。但密码计算会带来额外的开销,若其运算效率低下,会成为影响系统传输效率的瓶颈。通过研究FPGA特点以及几种常见密码原语计算流程,设计出一种适用于多级安全操作系统的基于FPGA实现的混合密码机制,用于提高具备信息安全功能支撑的多级安全操作系统的运行效率以及安全性。
-
关键词
多级安全操作系统
信息安全
密码算法
FPGA
-
Keywords
MILS operating system
security
cryptographic algorithm
FPGA
-
分类号
TP316
[自动化与计算机技术—计算机软件与理论]
TP309
[自动化与计算机技术—计算机科学与技术]
-
