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

总体要求

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

基本信息

【名称】 总体要求
【英文名称】 global requirements
【定义】 指对整个系统进行的分析,是对各个TCB子集的单独分析的不足而言的。参见5.5.3.2。

同源术语

·候选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子集的单独分析足以确定复合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 312.4-87 飞机维修品质规范航空宫械维修吕质的一般要求)
·航空轰炸武器系统系指悬挂并投放悬挂物的武器系统,它包括悬挂装置和投弹控制系统等
GJB 312.4-87 飞机维修品质规范航空宫械维修吕质的一般要求)
·航空导弹武器系统它由航空导弹(简称导弹)、导弹发射装置和导弹发射控制系统等组成
GJB 312.4-87 飞机维修品质规范航空宫械维修吕质的一般要求)
·航空火箭武器系统系指能发射航空火箭弹的武器系统,它包括火箭发射器和火箭发射控制系统等
GJB 312.4-87 飞机维修品质规范航空宫械维修吕质的一般要求)
·自身系统校靶法系指将校靶所用的仪器、设备装在直接固定在飞机上的基准座标架上,与外界无关的一种 校靶方法。
GJB 312.4-87 飞机维修品质规范航空宫械维修吕质的一般要求)
·军用小型机基本系统由主机(中央处理机、存储器)、输入/输出接口、控制台终端及一种外存储器组成的系统称 做军用小型机基本系统。
GJB 322-87 军用小型数字电子计算机通用技术条件)
·军用小型机系统根据军事应用的要求,在小型机基本系统上配以多种外围设备后组成的系统称做军用小 型机系统。
GJB 322-87 军用小型数字电子计算机通用技术条件)
·引信安全系统失效引信对解除保险和爆炸序列的起爆控制失效,或对主装药的爆炸控制失效
GJB 346-87 引信安全系统失效率计算方法)
·发射周期前安全系统失效引信从生产、运输、贮存、维护、装卸、安装、装填直到载体开始运动前的安全系统失效
GJB 346-87 引信安全系统失效率计算方法)
·安全系统原发性失效对有隔爆机构的引信,隔爆机构处于隔爆状态时,由于隔爆体本身的疵病,使被隔爆的爆 炸序列元件间能够传爆或传火;对无须隔爆的引信,是指保险机构不起保险作用。
GJB 346-87 引信安全系统失效率计算方法)