用户名: 密码: 登 录   个人中心   系统维护   用户注册  联系我们
当前位置 > 首页 > 术语细览

参照监视器概念

标准号:GJB 5023-2001   标准名称:军用数据库安全评估准则       2001-11-23

基本信息

【名称】 参照监视器概念
【英文名称】 reference monitor concept
【定义】 系指一种抽象机器的访问控制概念,其作用是传递所有主体对客体的访问信息。

同源术语

·候选TCB子集 c指构成拟用TCB子集的硬件、固件及软件的标识,也包含该拟用子集的主体与客体的标识,是按部 件进行评估的条件之一。
·依赖于内容的访问控制一种访问控制方法。根据要存取的数据的值确定访问是否进行。
·依赖于上下文的访问控制一种访问控制方法。根据要存取的数据所在的特定环境确定访问是否进行。 3.1.4
·数据库管理系统使众多不同用户可共享公共数据集的计算机系统。它可以保持各数据项之间的语义关系,也可以不 保持这种关系。
·依赖于TCB子集A(在正确性上)依赖于TCB子集B,当且仅当正确实现A的规格说明的诸变元,全部或部 分地假设B的规格说明已正确实现。
·域domain主体有能力访问的所有客体的集合。
·受制于A级安全受B级安全支配,如果:A中的许可证/密级小于或等于B中的许可证/密级;A中各类访问 许可(例如,各种分隔标志符)的集合包含在B的各类访问许可的集合中(亦即,出现在A中的每种访问 许可,同时也出现在B中)。这种支配关系是局部规程的一个特例。
·支配“B级安全支配A级安全”和“A级安全受B级安全支配”是同义语。参见“受制于”。
·总体要求指对整个系统进行的分析,是对各个TCB子集的单独分析的不足而言的。参见5.5.3.2。
·格点一种局部规程集,其中每对元素都有一最大下界及一最小上界。
·局部要求指各个TCB子集的单独分析足以确定复合TCB的适合程度。参见5.5.3.1。
·元数据、中间数据a) 和其他数据有关的数据;用来举例说明某个抽象内容(如“过程”、“任务”、“段”、“文件”、“管道” 等)的数据(例如,数据结构、索引、指针等)。 b) 某种专用数据库,有时也称数据字典,其中包含数据库元素的描述(例如,联系、域、实体或关系 等)。 3.1.13
·单块由单个TCB子集构成的TCB。
·客体安全学中指含有或接受信息的被动实体,对一个客体的访问,即意味着对它包含的信息的访问。客 体的例子有:位、字节、字、字段、处理器、视频显示器、键盘、时钟、打印机、网络节点,以及记录、块、页、段、 文件、目录、目录树、程序等。
·偏序偏序 partial order 一种特定的关系。这种关系是对称的(a与a相关)、可传递的(若a与b相关,b与c相关,则a与c 相关),同时又是逆对称的(若a与b相关,且b也与a相关,则a与b就是等同的)。
·原始各TCB子集问基于属性的一种排序关系(参看3.1.5“依赖于”)。 TCB子集B比另一个TCB子集A更原始(或者说,同B相比,A不太原始),如果: (a) A直接依赖于B或(b),存在一个从A至B的TCB子集链,链中的每一节都直接依赖于其后继 者。
·访问身份确认机制“实现参照监视器概念系指根据访问授权表中规定的对某个用户的访问授权情况,确认该用户(程 序)对数据或程序的每次访问。”这点必须以多种方式加以证明,必须始终贯彻,必须小到足以很容易进行 分析和检查,这样,其完整性才能得到保证。
·安全策略保证一个组织规范地管理、保护和分配敏感信息的所有法律、法规及操作规程的总称。
·存储客体既支持读访问又支持写访问的客体。
·主体安全学中指一种活动实体,通常以人、进程或设备的形式出现,能导致信息在客体间流动或系统状态 的变化。进程/域对就是主体的一个例子。
·子集域一组系统定义域。为按部件进行评估,每个候选的TCB子集必须占有一个单独的子集域,因而对某 TCB子集的子集域内的一定义域作变更访问时,就只限于该TCB子集,或限于比其更原始的一些TCB 子集。
·TCB子集指一些特定的软件、固件和硬件的复合(也可以是只由其中两类构成的组合)。该组合能按某种规定 的访问控制策略P,把主体S组合对客体O组合的访问信息传递过去,并满足下列要求: a) M指S中主体对客体O的每个访问信息都传递; b) M是能抗窜改的; c) M应足够小,以便于分析和测试,并保证其完整性。
·技术策略管理和调整用于主体对客体访问的所有规程的总称,由TCB子集实施的。
·可信计算基指一个计算机系统内部的全部保护机制,包括硬件、固件和软件,这些成份的组合负责实施系统的安 全策略。一个TCB,是由一个或多个这样的成份构成的,它们一起在某个产品或系统上共同实施统一的 安全策略。TCB正确实施安全策略的能力,只取决于该TCB的安全机制,以及与安全策略有关的参数 (例如,用户许可证)的正确输入,参数输人是由系统管理人员完成的。
·可信主体指允许对不止一个敏感等级的诸客体同时作视图访问或修改访问的主体。
·用户与计算机系统直接相互作用的人。
·视图指数据库中满足某个询问程序所规定的条件的部分
·视图定义一个已存储的询问程序。往往可以不很严格地称其为“视图”。

相关术语

·访问控制防止未经授权者使用某资源。也称存取控制
GJB 700A-2006 军用通信系统术语)
·访问控制(1)自由选择访问控制:基于主体与主体所属组的身份来限制对客体访问的手段。控制在 这种意义上是自由的,即具有某种访问许可的主体可将许可(可能间接地)传给任何其它主体 (除非受强制访问控制限制。 (2)强制访问控制:基于客体所包含信息的灵敏度(如标记所表示)来限制对客体访问的手段。
HB/Z 183-90 Ada编程支持环境(APSE)公用接口)
·“前行桨叶概念”旋翼简称ABC旋翼。具有两副上、下布置、共轴反向旋转的根部刚硬的无铰式旋翼。
GJB 3029-98 直升机术语)
·参照频率相对于指配的频率有固定的、规定偏差的一种频率。参照频率相对于指配频率的偏差与特征频率相 对于发射占有频带的中心频率的偏差具有相同的绝对值和符号。
GJB 72A-2002 电磁干扰和电磁兼容性术语)
·数据元素概念一种以数据元素形式表示的概念。
GJB 1923-94 军用数据元素定义表述的规则)
·直升机参照采用机体座标系表示直升机和地平线相对运动的关系。即直升机不动,而地平线相对直 升机做倾斜、俯仰运动,如同飞行员从舱内向舱外观察直升机的即时状态一样。直升机参照与 飞行员在舱内的直观感觉一致。
GJB 3799-99 直升机座舱电/光显示器字符)
·访问控制限制已授权的用户、程序、进程或计算机网络中其他系统访问本系统资源的过程。
GJB 4897-2003 军用计算机病毒防治要求)
·访问控制控制访问名录信息和授权的手段。
GJB 4922-2003 军用名录服务系统通用要求)
·参照指示引入更多信息的关键标志,它常常以参照号的形式出现。
GJB 1555-92 数据元素的编码方法和代码开发原则)
·地址单元监视器监视 DTB 总线上数据传输的功能模块,用于检测对指定地址单元的访问。当访问到这些指定的地 址单元时,地址单元监视器就发出一个本地信号。
GJB 5866-2006 多模块欧式卡(VME)64位数据总线)