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

形式化顶层规格说明

标准号:GJB 2646-96   标准名称:军用计算机安全评估准则       1996-06-04

基本信息

【名称】 形式化顶层规格说明
【英文名称】 (FILS)formal top-level specification
【定义】 用形式化数学语言写成的一种高层规格说明书。使用这种规格,可以从理论上证明假定 的形式化要求与系统规格的一致性。

同源术语

·自主保护辨识用户身份和他们的需求,限制用户使用信息的访问控制的方法。
·强制访问控制根据客体所包含信息的敏感性以及主体访问此类敏感信息的权限,限制主体访问客体的 方法。
·安全等级为表示信息的不同敏感度,按保密程度不同对信息进行层次划分的组合或集合。
·审计对影响系统安全的各种活动进行记录并为系统安全员提供安全管理依据的程序。
·隔离为防止其他用户或程序的非授权访问,把操作系统、用户程序、数据文件加以彼此独立存 储的行为。
·可信计算基计算机系统内保护装置的总体,包括硬件、固件、软件和负责执行安全策略的组合体。它 建立了一个基本的保护环境并提供一个可信计算系统所要求的附加用户服务。
·敏感标号表示客体安全级别并描述客体数据敏感性的一组信息,可信计算基中把敏感标号作为强 制访问控制决策的依据。
·系统完整性系统不能以非授权手段被破坏或修改的性质。
·描述性顶层规格说明用自然语言、形式化程序设计符号,或两者结合写成的一种最高层的设计规格说明书。
·最小特权原则为完成特定任务,授予主体所需要的最小访问特权的过程、策略。
·分层密级用层次结构的方式将主体和客体分成不同的保密等级。
·粒度-次访问操作所涉及到的访问对象的大小。

相关术语

·一致性实现既满足静态又满足动态一致性要求,且与协议实现的一致性陈述中指出的能力相一致的一种测试 中的实现。
GJB 700A-2006 军用通信系统术语)
·一致性测试对测试中的实现能达到的-致性实现程度的测试。
GJB 700A-2006 军用通信系统术语)
·顶层节点其父节点是系统级节点的节点,可以是代表用户或组的结构节点以及代表设备的文件节 点。
HB/Z 183-90 Ada编程支持环境(APSE)公用接口)
·软件规格说明审查为确定软件分配基线而对计算机软件技术状态项目的软件需求规格说明和接口需求规格 说明等作的审查,评价承制单位对系统、系统段或主项目各级要求是否正确理解。
GJB 3273-98 研制阶段技术审查)
·一致性检查用来确认两个或多个互相关联的数据部分是否存在矛盾的过程。
GJB 4354-2002 关系数据库管理系统功能通用要求)
·一致性有关的支持性文件的内容之问或记录和报告与材料实际存量之间没有矛盾。
GJB 3687-99 军用核材料术语)
·质量一致性检验以逐批检查为基础,按规定从产品中抽取样品进行的检测和试验,以确定产品生产过程 中能否保持质量持续稳定。 本标准规定的质量一致性检验包括 A 组检验、B 组检验、C 组检验。
GJB 3869-99 舰载雷达检验规则)
·相移一致性零配相状态移相器的相移值与标准样件相移的差值。
GJB 4429-2002 军用雷达术语)
·相位一致性接收机多个通道相位对于基准通道相位均衡的程度。
GJB 4429-2002 军用雷达术语)
·幅度一致性接收机多个通道相对于基准通道幅度的均衡的程度。
GJB 4429-2002 军用雷达术语)