基本信息

同源术语

·保密性：	为秘密数据提供保护状态及保护等级的一种特性(见GJB2256中3.35条)。
·数据完整性：	信息系统中的数据与在原文档中的相同，并未遭受偶然或恶意的修改或破坏时所具有的 性质(见GJB2256中3.56条)。
·数据可用性：	当用户需要数据时，数据就以用户需要的形式放在用户需要的地方的一种状态(见 GJB2256中3.20条)。
·数据安全：	保护数据免受偶然的或恶意的修改、破坏或暴露(见GJB2256中3.58条)。
·(计算机)病毒：	一种自身具有传播复制能力的程序。它一般由引导部分、破坏部分和自身传播部分组成。
·授权：	授与用户、程序或进程的访问权(见GJB2256中3.18条)。
·鉴别：	a. 验证用户、设备和其他实体的身份； b. 验证数据的完整性(见GJB2256中3.16条)。
·访问控制：	限制已授权的用户、程序、进程或计算机网络中其他系统访问本系统资源的过程(见 GJB2256中3.3条)。
·军用数据相关实体：	采集、传输、处理、存储、交换、使用和销毁军用数据的计算机系统、工作环境和记录媒体等 的总称。

相关术语

·自动方式：	自动完成自动循环的方式。 （GJB 744A-98 武器发射系统术语）
·形式化顶层规格说明：	用形式化数学语言写成的一种高层规格说明书。使用这种规格，可以从理论上证明假定 的形式化要求与系统规格的一致性。 （GJB 2646-96 军用计算机安全评估准则）
·形式化：	用形式语言如一级谓词，对语言的语义进行精确描述。 （GJB 5241-2004 概念建模语言IDEF1X的句法和语义）
·形式化：	在完备数学概念基础上，采用具有确定语义并有严格语法的语言表达的。 （GJB 5371.1-2005 信息技术安全评估准则简介和一般模型）
·非形式化：	采用自然语言表达的。 （GJB 5371.1-2005 信息技术安全评估准则简介和一般模型）
·自动方式：	为了完成自动循环，自动机利用能量的方法和形式。 （GJB 5236-2003 轻武器术语）
·内能源自动方式internal：	利用发射时所产生的火药燃气能量使自动机原动件运动的方式。 （GJB 5236-2003 轻武器术语）
·枪机后坐自动方式：	利用膛内火药燃气的压力,通过弹壳底部直接推动枪机或机头后坐,完成自动循环的自动方式。 （GJB 5236-2003 轻武器术语）
·枪管后坐自动方式：	利用膛内火药燃气的压力，使处于闭锁状态的枪机组件和枪管一起向后运动的一种自动方式。常用 的有枪管长后坐式和枪管短后坐式两种。简称管退式。 （GJB 5236-2003 轻武器术语）
·枪管长后坐自动方式long：	枪管后坐行程与枪机组件后坐行程相等的枪管后坐式。 （GJB 5236-2003 轻武器术语）