1974年约克--安特卫普规则中规则Ⅵ的1990年修正案

作者:法律资料网 时间:2024-07-08 06:01:41   浏览:8267   来源:法律资料网
下载地址: 点击此处下载

1974年约克--安特卫普规则中规则Ⅵ的1990年修正案

巴黎


1974年约克--安特卫普规则中规则Ⅵ的1990年修正案


(签订日期1990年6月29日 生效日期1990年10月1日)
                简介

  本修正案于1990年6月29日在巴黎召开的国际海事委员会第三十四届大会上制定,1990年10月1日起供当事人自愿采纳。
  规则Ⅵ 救助
  (a)航程中有关方因救助所支付的费用,不论救助是否根据合同而进行,只要进行救助作业的目的是为了使共同海上航程中涉及的财产脱离危险,便应作为共同海损。
  作为共同海损的费用,应包括考虑诸如1989年国际救助公约第13条第1款第(b)项所述的救助人在防止或减轻环境污损方面的技能与努力后的任何救助报酬。
  (b)根据上述公约第14条,应由船舶所有人支付给救助人的特别补偿,在该条第4款或任何其他实质性相似的规定所确定的范围内,不得作为共同海损
下载地址: 点击此处下载

注册会计师全国统一考试违规行为处理办法

财政部


中华人民共和国财政部令第40号

  《注册会计师全国统一考试违规行为处理办法》已经部务会议审议通过,现予公布,自2006年9月10日起施行。

  部长
  2006年8月9日

  
  第一章 总则

  第一条 为加强注册会计师全国统一考试(以下简称注册会计师考试)管理,严肃考试纪律,保证注册会计师考试顺利实施,根据《中华人民共和国注册会计师法》,制定本办法。

  第二条 对注册会计师考试应考人员、考试工作人员违规行为的处理适用本办法。

  第三条 本办法所称违规行为,是指参加或组织注册会计师考试的人员违反考试纪律和考试工作有关规定的行为。

  第四条 本办法所称应考人员,是指参加注册会计师考试的人员。

  本办法所称考试工作人员,是指参加组织注册会计师考试报名、命(审)题、印送试卷、监考、试卷评阅、成绩核查、发放成绩或者全科合格证书等工作的人员。

  第五条 中国注册会计师协会(以下简称中注协)和省、自治区、直辖市注册会计师协会(以下简称省级注协),依据本办法对应考人员、考试工作人员的违规行为进行处理。

  第六条 考场监考人员应当依据本办法对应考人员的违规行为进行当场处理。

  第七条 处理违规行为,应当做到事实清楚、证据确凿、程序规范、适用规定准确、处理决定适当。

  第二章 应考人员违规行为的处理措施

  第八条 应考人员有下列行为之一的,由监考人员给予口头警告,并责令改正。经警告仍不改正的,监考人员按照本办法第十六条规定的程序,终止其本场考试,并责令退出考场:

  (一)携带规定以外的物品进入考场未按照规定放在指定位置的;

  (二)考试开始30分钟后仍未按照规定填写(填涂)姓名、身份证件号、准考证号,或者粘贴条形码的;

  (三)未在规定考场座位参加考试,或者在考试期间擅自离开座位的;

  (四)在考场内喧哗、吸烟或者有其他影响考场秩序行为的;

  (五)故意损毁答题卡、答题卷或者试题卷的;

  (六)考试开始信号发出前答题,或者考试结束信号发出后继续答题的。

  第九条 应考人员有下列行为之一的,监考人员按照本办法第十六条规定的程序终止其本场考试,并责令退出考场:

  (一)抄袭或者协助他人抄袭答案或者其他与考试内容有关资料的;

  (二)以讨论或者互打手势等方式传递考试信息的;

  (三)使用规定以外物品的;

  (四)交换答题卡、答题卷或者试题卷的;

  (五)由他人在考场外协助答题的;

  (六)由他人冒名代替或者代替他人参加考试的。

  第十条 应考人员有第九条第(一)项至第(三)项所列行为之一的,由省级注协给予其取消本场考试成绩和3年内(不含当年,下同)不得参加注册会计师考试的处理,有第九条第(四)项至第(六)项所列行为之一的,由省级注协给予其取消当年全部科目考试成绩和5年内不得参加注册会计师考试的处理。

  第十一条 应考人员在规定时间未办理交卷手续离开考场的,由省级注协给予其取消本场考试成绩的处理。

  第十二条 应考人员将答题卡、答题卷、试题卷或者考试用纸带出考场的,由省级注协给予其取消本场考试成绩和3年内不得参加注册会计师考试的处理。

  第十三条 试卷评阅期间,经中注协聘请的专家认定,有下列情形之一的试卷为违规试卷:

  (一)在卷面做特殊标记的;

  (二)同一试卷答题笔迹前后不一致的;

  (三)同一考场的同一科目两份以上(含两份)答卷答案文字表述、主要错点一致的。

  对有违规试卷的应考人员,由中注协给予其取消本场考试成绩和5年内不得参加注册会计师考试的处理。

  第十四条 伪造或者涂改证件或者证明,或者以其他不正当手段获取考试或者免试资格的,由中注协或者省级注协给予其取消考试成绩或者免试资格和5年内不得参加注册会计师考试的处理。

  第十五条 伪造单科合格成绩凭证或者全科合格证书的,由中注协或者省级注协给予其取消已取得的单科合格成绩和10年内不得参加注册会计师考试的处理。已取得全科合格证书的,予以撤销。

  第三章 处理程序

  第十六条 当场作出终止应考人员本场考试,并责令退出考场处理的,应当由2名监考人员对其违规行为进行认定,在《应考人员违规情况报告单》(见附件1)中记录其违规情况,并在其答题卡和答题卷页首空白处签注“违规”字样。记录的内容应当当场告知应考人员。

  第十七条 监考人员应当及时采取必要的措施,保全应考人员违规的证据。其中对违规行为使用的物品进行暂扣的,应当填写清单,并在7日内退还应考人员。

  第十八条 考试结束后,监考人员应当将《应考人员违规情况报告单》,连同应考人员的答题卡、答题卷及有关证据按照有关规定一并报送所在地省级注协。

  第十九条 省级注协应当依据本办法和《应考人员违规情况报告单》记录的情况及相关证据,对违规行为作出处理。

  省级注协作出的处理决定应当报中注协备案。

  第二十条 考试工作人员在试卷评阅期间发现有异常试卷的,应当填写《异常试卷报告单》(见附件2),并按照工作程序核实后,提交中注协。

  中注协应当按照规定的程序提交专家进行认定。

  第二十一条 中注协和省级注协在对应考人员违规行为作出处理决定前,应当告知应考人员作出处理决定的事实、理由及依据,并告知应考人员有权进行陈述和申辩。

  作出3年、5年、10年内不得参加注册会计师考试决定之前,应当告知应考人员有要求举行听证的权利;应考人员要求听证的,应当组织听证。

  第二十二条 中注协和省级注协对违规行为作出处理决定的,应当制作违规行为处理决定书,并将处理决定书及时送达被处理人。

  直接送达有困难的,可以采取邮寄送达或公告送达等方式送达。

  第二十三条 违规行为处理决定书应当载明下列事项:

  (一)被处理人姓名、身份证件号及准考证号;

  (二)违规的事实和证据;

  (三)处理的依据和结果;

  (四)不服处理决定,申请行政复议或者提起行政诉讼的途径和期限;

  (五)作出处理决定的单位名称和日期。

  处理决定书应当盖有作出处理决定单位的印章。

  第二十四条 中注协和省级注协应当受理对违规行为的举报,并进行核实、处理。

  第二十五条 中注协和省级注协可以向社会公布应考人员违规行为的相关信息;可以向受到处理的应考人员所在单位通报有关情况。

  第四章 考试工作人员违规行为的处理措施

  第二十六条 在组织报名期间,考试工作人员不得有下列行为:

  (一)为不具备参加考试资格的人员提供虚假证明或者证件,使其取得考试资格的;

  (二)因编排考场或者发放准考证等工作失误,致使应考人员未能如期参加考试,或者使考试工作遭受重大损失的。

  第二十七条 在考试期间,考试工作人员不得有下列行为:

  (一)擅自为应考人员调换考场或者座位的;

  (二)未按照规定时间拆启试题的;

  (三)发现应考人员有违规行为不予制止的;

  (四)因未认真履行职责,造成所负责的考场秩序混乱,或者出现雷同试卷的;

  (五)擅自将答题卡、答题卷、试题卷、考试用纸或者与考试有关内容带出考场或者传递给他人的;

  (六)强迫或者唆使他人违规,或者参与考场内外串通违规的。

  第二十八条 在试卷评阅期间,考试工作人员不得有下列行为:

  (一)不能按期完成评卷任务的;

  (二)在评卷中擅自更改评分标准,或者不按评分标准进行评卷的;

  (三)造成错评、漏评或者积分误差的;

  (四)偷换或者涂改应考人员答卷、考试成绩或者考场原始记录材料的。

  第二十九条 考试工作人员不得有下列行为:

  (一)应当回避考试工作而隐瞒不报的;

  (二)丢失或者泄露试题、答案或者评分标准的;

  (三)擅自变更考试时间、地点或者其他考试安排的;

  (四)故意损坏答题卡、答题卷或者试题卷的;

  (五)考试后擅自拆启已密封的答题卡、答题卷或者试题卷的;

  (六)违反试卷的运送、接收或者保管有关规定的;

  (七)擅自更改或者编造考试数据或者信息的;

  (八)以不正当手段协助他人获得免试资格,或者取得单科合格成绩凭证或者全科合格证书的;

  (九)在保密期限内盗窃或者损毁试题、答案、评分标准、应考人员答卷或者考试成绩,或者传递有关信息的;

  (十)利用考试工作之便,以权谋私或者打击报复应考人员的;

  (十一)销毁或者藏匿违规证据,或者伪造虚假证据的;

  (十二)阻止他人揭发检举或者提供证据资料的;

  (十三)对揭发检举人打击报复的;

  (十四)干扰或者妨碍中注协或者省级注协调查核实有关情况的。

  第三十条 考试工作人员有本办法第二十六条、第二十七条、第二十八条、第二十九条所列行为之一的,中注协或者省级注协应当作出停止其参加当年及以后年度注册会计师考试工作的处理,并视情节轻重给予或者建议所在单位给予相应处分;构成犯罪的,依法追究刑事责任。

  第三十一条 考试工作人员有其他对考试或者考场秩序不良影响行为的,由中注协视情节轻重作出相应处理。

  第三十二条 考点管理混乱,造成同一考场同一科目试卷答案雷同数量达到百分之六十以上的,或者同一考点同一科目试卷答案雷同数量达到百分之二十以上的,应当取消该考点承办注册会计师考试的资格。

  第三十三条 中注协和省级注协可以向社会公布考试工作人员违规行为的相关信息。

  第五章 附则

  第三十四条本办法自2006年9月10日起施行。2001年8月13日财政部注册会计师考试委员会印发的《注册会计师全国统一考试违纪作弊处罚规则》(财考[2001]12号)同时废止。


基于DOS的信息安全产品评级准则

公安部


基于DOS的信息安全产品评级准则

公安部

1998/06/01



  【题注】(GA174-1998 Evaluation Criteria for DOS-based Information Security Products)

  前言

  为了贯彻《中华人民共和国计算机信息系统安全保护条例》的精神,并配合计算机信息系统安全专用产品的销售许可证制度的实施,公安部计算机管理监察司委托天津市公安局计算机管理监察处和海军计算技术研究所共同编写《基于DOS的信息安全产品评级准则》。

  本标准在技术上参照了美国DOD5200.28-STD可信计算机系统评估准则。

  本标准由公安部计算机管理监察司提出;

  本标准由公安部信息标准化技术委员会归口;

  本标准起草单位:天津市公安局计算机管理监察处

  海军计算技术研究所

  本标准主要起草人:张健,周瑞平,王学海,张双桥,高新宇

  1.范围

  本标准的适用对象为基于DOS操作系统的信息安全产品。基于DOS的信息安全产品是指保护DOS操作系统环境下的信息免受故意的或偶然的非授权的泄漏、篡改和破坏的软件、硬件或软硬件结合产品,以及用于产品安装、执行、恢复的相关设施。在本标准中,对安全产品的评级等同于对加装了该安全产品的DOS操作系统的安全性能的评级。

  标准根据安全产品的性能将其分为三个等级。从最低级d到最高级b,其安全保护性能逐级增加。

  2.引用标准

  美国DOD5200.28-STD可信计算机系统评估准则。

  3.术语

  3.1 客体 Object

  含有或接收信息的被动实体。客体的例子如:文件、记录、显示器、键盘等。

  3.2 主体 Subject

  引起信息在客体之间流动的人、进程或装置等。

  3.3 安全策略 Security policy

  有关管理、保护和发布敏感信息的法律、规章和技术标准。

  3.4 可信计算基 Trusted ComPuting Base-TCB

  操作系统中用于实现安全策略的一个集合体(包含软件、固件和硬件),该集合体根据安全策略来处理主体对客体的访问,并满足以下特征:

  a.TCB实施主体对客体的安全访问;

  b.TCB是抗篡改的;

  C.TCB的结构易于分析和测试。

  3.5 安全策略模型 Security Policy Model

  用于实施系统安全策略的模型,它表明信息的访问控制方式,以及信息的流程。

  3.6 敏感标记 Sensitivity Label

  表明一个客体的安全级并描述该客体中数据的敏感度(例如:密级)的一条信息。TCB依据敏感标记进行强制性访问控制。

  3.7 用户访问级 User's Clearance

  用户访问敏感信息的级别。

  3.8 最小特权原理 Least Provilege Theorem

  系统中的每个主体执行授权任务时,仅被授予完成任务所必需的最小访问权。

  3.9 关键保护元素 Protection Critical Element

  有TCB中,用来处理主体和客体间的访问控制的关键元素。

  3.10 审计踪迹 Audit Trail

  能提供客观证明的一组记录,用于从原始事务追踪到有关的记录,或从记录追踪到其原始事务。

  3.11 信道 Channel

  系统内的信息传输路径。

  3.12 可信信道 Trusted Channel

  符合系统安全策略的信道。

  3.13 隐蔽信道 Covert Channel

  违反系统安全策略的信道。

  3.14 自主访问控制 Discretionary Access Control

  根据主体身份或者主体所属组的身份或者二者的结合,对客体访问进行限制的一种方法。具有某种访问权的主体能够自行决定将其访问权直接或间接地转授给其它主体。

  3.15 强制访问控制 Mandatory Access Control

  根据客体中信息的敏感标记和访问敏感信息的主体的访问级对客体访问实行限制的一种方法。

  4.评级等级

  本标准将安全产品分为局部保护级、自主保护级、强制保护级三个等级。为便于和可信计算机系统评估准则互为参照,又表示有别于该标准,用d,c,b表示。

  4.1 局部保护级(d)

  提供一种或几种安全功能,但又未能达到c级标准的产品。

  4.1.1 安全功能

  必须明确定义每项安全功能预期达到的目标,描述为达到此目标而采用的TCB的安全机制及实现技术。

  4.1.2 安全测试

  必须对产品文档所述的安全功能进行测试,以确认其功能与文档描述相一致。

  4.1.3 文档

  安全特征用户指南文档要清楚地描述产品的保护原理、使用方法、使用限制及适用范围。

  要提供一个测试文档,描述该产品的测试计划、安全机制的测试过程及安全功能测试的结果。

  4.2 自主保护级(c)

  c级主要提供自主访问控制功能,并通过审计手段,能对主体行为进行审查。

  4.2.1 安全策略

  4.2.1.1 自主访问控制

  TCB需定义并控制系统中主体对客体的访问机制,所采用的机制(如访问控制表)要明确规定特定主体对其它主体控制下的信息的访问类型。系统和用户设定的自主访问控制机制,能保证受保护的客体不会被未经授权的用户访问。对客体没有访问权限的用户,只有对该客体有授权能力的用户才能为其指定访问权限。

  4.2.1.2 客体再用

  在将TCB的空闲存储客体池中客体初始指定、分配或再分配给一个主体之前,所有对于存储客体所含信息的授权都必须被撤销。当主体获得对一个已被释放的存储客体的访问权时,由原主体活动所产生的任何信息对当前主体都是不可获得的。

  4.2.2 责任核查

  4.2.2.1 身份鉴别

  用户在要求TCB执行任何动作之前,必须首先向TCB表明自己的身份;TCB要使用保护机制(如:口令)来鉴别用户身份。为了防止任何未经授权的用户对鉴别数据进行访问,TCB要对鉴别数据进行保护。TCB需提供唯一标识每个系统用户的机制,并将用户的所有可审计行为与用户的标识联系起来。

  4.2.2.2 审计

  TCB必须能创建、维护由主体实施的操作(例如:读、删和改等)的审计记录。TCB要记录下列类型的事件:使用身份鉴别机制;客体的引用;客体的删除;以及其它与安全有关的事件。对于每一个记录事件,审计记录需标识:事件发生的日期和时间、用户、事件类型及事件的成功和失败。由可信软件执行的单个操作,如果对用户是完全透明的,则不必进行审计。TCB要保护审计数据,使得只有授权用户才能访问。

  4.2.3 保证

  4.2.3.1 操作保证

  4.2.3.1.1 系统体系结构

  TCB要在封闭的域中运行,使其不受外部干扰或篡改(例如:代码或数据结构的修改)。TCB要隔离受保护资源,以满足访问控制和审计的需求。

  4.2.3.1.2 系统完整性

  要提供相应的硬件或软件,用于定期确认TCB中硬件或固件元素的正常运行。

  4.2.3.1.3 数据完整性

  TCB要提供控制机制,以保证多个主体对同一客体访问时客体中数据的正确性和完整性,并且不影响系统的正常运行。

  4.2.3.2 生命周期保证

  4.2.3.2.1 安全测试

  必须对产品文档所述的安全功能进行测试,以确认其功能与文档描述相一致。测试要证实未经授权的用户没有明显的办法可以绕过或攻破TCB的安全保护机制。测试还要搜索TCB中明显的缺陷,这些缺陷可能导致TCB中的外部主体能够违背资源隔离原则,或者对审计数据或鉴别数据进行未经授权的访问。

  4.2.4 文档

  4.2.4.1 安全特征用户指南

  安全特征用户指南要描述TCB提供的保护机制、使用指南、以及保护机制之间的配合方法,必须清楚地描述TCB中安全机制之间的交互作用。

  4.2.4.2 可信设施手册

  在可信设施手册中,要明确描述TCB所支持的任何预定义用户或主体(例如:系统管理员),要对运行安全功能时必须受到控制的功能和特权提出警告,并清楚地描述上述受控功能和特权之间的关系。如果存在TCB的安全操作的配置选项,应该予以标识。

  要提供用于检查和维护审计文件的规程。对每类审计事件,还要提供详细的审计记录结构。

  4.2.4.3 测试文档

  测试文档要描述安全保护机制的测试计划、测试步骤及其功能测试结果。

  4.2.4.4 设计文档

  设计文档要描述产品的保护原理,并解释该原理在TCB中的实现,如果TCB由多个不同的模块组成,还应描述各模块间的接口。

  4.3 强制保护级(b)

  b级的主要要求是:TCB能维护敏感标记及其完整性,并利用敏感标记来实施强制访问控制规则,b级的系统必须使系统中的主要数据结构带有敏感标记。系统开发者必须提供作为TCB基础的安全策略实现模型以及TCB的规约。

  4.3.1 安全策略

  4.3.1.1 自主访问控制

  TCB需定义并控制系统中主体对客体的访问控制,所采用的机制(如访问控制表)要明确规定特定主体对其它主体控制下的信息的访问类型。自主访问控制机制应限制访问权限的扩展。系统和用户设定的自主访问控制机制,能保证受保护的客体不会被未经授权的用户访问。对客体没有访问权限的用户,只有对客体有授权能力的用户才能为其指定访问权限。

  4.3.1.2 客体再用

  在将TCB的空闲存储客体池中客体初始指定、分配或再分配给一个主体之前,所有对于存储客体所含信息的授权都必须被撤销。当主体获得对一个已被释放的存储客体的访问权时,由原主体活动所产生的任何信息对当前主体都是不可获得的。

  4.3.1.3 标记

  TCB要维护与每一主体及其可能访问的系统资源相关的敏感标记,以此作为强制访问控制决策的基础。系统必须明确规定需要标记的客体(如文件、外部设备等)与不需要标记的客体(如:用户不可见的内部资源)。对于需要标记的客体,系统要明确定义客体标记的粒度。除了不需要标记的客体外,所有其它客体从TCB外部观点看都要有明显标记。在输入未标记数据时,必须由授权用户向TCB提供这些数据的安全级别,而且所有这些行为都可以由TCB进行审计。

  4.3.1.3.1 标记完整性

  敏感标记必须准确地表示出与其相关的具体主体或客体的安全级别。当TCB输出敏感标记时,输出标记的外部表示要与其内部标记一致,并与输出的信息相关联。

  4.3.1.3.2 标记信息的输出

  TCB要能维护并审计与通信信道或I/O设备相关联的安全级别的任何变动。

  4.3.1.3.3 主体标记

  在TCB与用户交互期间,如果与用户有关的安全级发生任何变化,TCB应立刻通知用户。

  4.3.1.3.4 设备标记

  TCB应能对所辖的物理设备指定最小和最大安全级。TCB要使用这些安全级,在设备所处的物理环境中对设备的使用施加约束。

  4.3.1.4 强制访问控制

  TCB必须对所有可被TCB外部主体直接或间接访问的资源(例如:主体、存储客体、物理设备等)实施强制访问控制策略。必须为这些主体和资源指定敏感标记(它们是级别和类别的组合),这些标记将作为强制访问控制决策的基础。所有由TCB所控制的主体对客体的访问必须遵循以下规则:仅当主体的级别高于或等于客体的级别,且主体安全等级中的类别包含客体安全等级中的所有类别时,主体才能读客体;仅当主体的级别低于或等于客体的级别,且主体安全等级中的所有类别包含于客体安全等级中的类别时,主体才能写客体。TCB要使用标识和鉴别数据来鉴别用户的身份,并确保用户的访问级和授权高于或等于代表该用户的TCB外部主体的安全等级和授权。

  4.3.2 责任核查

  4.3.2.1 身份鉴别

  用户在要求TCB执行任何动作之前,必须首先向TCB表明自己的身份。TCB要使用保护机制(如:口令)来鉴别用户身份。TCB必须保护鉴别数据,该数据不仅包含验证用户身份的信息(例如:口令),也包含确定用户访问级与授权的信息。TCB要使用这些数据来鉴别用户的身份,并确保用户的访问级和授权高于或等于代表该用户的TCB外部主体的安全等级和授权。为了防止任何未经授权的用户对鉴别数据进行访问,TCB必须对鉴别数据进行保护。TCB需提供唯一标识每个操作系统用户的机制,并将用户的所有可审计行为与用户的标识联系起来。

  4.3.2.2 可信路径

  在对初始登录的用户进行鉴别时,TCB要在它和用户之间维持一条可信信道。经由该路径的通信必须由专门用户或TCB进行初始化。

  4.3.2.3 审计

  TCB必须能创建、维护由主体实施的操作(例如:读、删和改等)的审计记录。TCB要记录下列类型的事件:使用身份鉴别机制;客体的引用;客体的删除;安全管理员的操作;以及其它与安全有关的事件。对于每一个记录事件,审计记录要标识:事件发生的日期和时间、主体、事件类型及事件的成功和失败。对于客体的引用及删除事件,审计记录还要包含客体名称。安全管理员应能够根据个体身份或个体安全等级有选择地审计一个或多个用户的行为。由可信软件执行的单个操作,如果对用户是完全透明的,则不必进行审计。TCB必须保护审计数据,使得只有授权用户才能对它进行读访问。当发生与安全有关的事件时,TCB要做到:(1)检测事件的发生;(2)记录审计踪迹条目;(3)通知安全管理员。

  4.3.3 保证

  4.3.3.1 操作保证

  4.3.3.1.1 系统体系结构

  TCB要在封闭的域中运行,使其不受外部干扰或篡改(例如:代码或数据结构的修改)。由TCB控制的资源可以是系统中主体和客体的一个子集。TCB要隔离受保护资源,以满足访问控制和审计的需求。TCB要通过不同的地址空间来维护进程隔离。TCB的内部要构造成定义良好的独立模块。TCB的模块设计要保证使最小特权原理得以实现。TCB需完整定义其用户接口,并且标识TCB的所有元素。TCB要有效地利用相关硬件把关键保护元素和非关键保护元素分隔开。

  4.3.3.1.2 系统完整性

  要提供相应的硬件或软件,用于定期确认TCB中硬件或固件元素的正常运行。

  4.3.3.1.3 可信设施管理

  TCB能支持独立的操作员和管理员功能。

  4.3.3.1.4 可信恢复

  TCB要提供诸如转贮和日志文件等机制,以保证在系统失效或其它中断发生后的数据恢复过程中不会导致任何安全泄漏。

  4.3.3.1.5 数据完整性

  TCB要定义及验证完整性约束条件的功能,以维护客体及敏感标记的完整性。

  4.3.3.2 生命周期保证

  4.3.3.2.1 安全测试

  必须对产品文档所述的安全功能进行测试,以确认其功能与文档描述相一致。测试组应充分了解TCB的安全功能的实现,并彻底分析其测试设计文档、源码和目标码,其目标是:发现设计和实现中的所有缺陷,这些缺陷会引起TCB的外部主体能够实施违背强制或自主安全策略的某种操作;同时保证没有任何未授权主体能使TCB进入一种不能响应其它主体发起的通讯的状态。TCB应具有一定的抗渗透能力。必须消除所有被发现的缺陷,重新测试TCB要证实这些缺陷已不再存在且没有引入新的错误。

  4.3.3.2.2 设计规约和验证

  要证实TCB所支持的安全策略模型符合其安全策略,并在产品运行的整个生命周期中维护这一模型。

  4.3.3.2.3 配置管理

  在TCB的整个生命周期期间,即TCB的设计、开发和维护期间,要使用配置管理系统来控制对设计数据、实现文档、源代码、目标代码的运行版本、测试装置以及文档的任何更改。配置管理系统要保证与TCB当前版本相关联的所有文档和代码之间的一致映射。要提供从源代码生成TCB新版本的工具。要提供比较新版TCB和原版TCB的工具,只有在确定已按预期方案完成了修改后,才能启用新的TCB版本。

  4.3.4 文档

  4.3.4.1 安全特征用户指南

  安全特征用户指南要描述TCB提供的保护机制、使用指南、以及保护机制之间的配合方法,必须清楚地描述TCB中完全机制之间的交互作用。

  4.3.4.2 可信设施手册

  在可信设施手册中,必须明确描述TCB所支持的任何预定义用户或主体(例如:系统管理员),要对运行安全功能时必须受到控制的功能和特权提出警告,并清楚地描述上述受控功能和特权之间的关系。如果存在TCB的安全操作的配置选项,应该予以标识。

  要提供用于检查和维护审计文件的规程。对每类审计事件,还要提供详细的审计记录结构。

  手册必须描述与操作员和管理员有关的安全功能,包括修改用户安全特征的方法。手册还要提供以下信息:如何一致地、有效地使用产品安全功能,安全功能之间的相互作用,以及操作规程、警告和特权。

  4.3.4.3 测试文档

  测试文档要描述安全保护机制的测试计划、测试步骤及其功能测试结果。

  4.3.4.4 设计文档

  设计文档要描述产品的保护原理,并解释该原理在TCB中的实现方法,如果TCB由多个不同的模块组成,还应描述各模块间的接口。应该具有TCB所实施的安全策略模型的非形式化或形式化描述,并给出它足以实施该安全策略的理由。要标识特定的TCB保护机制,并给出一个解释以证明它们满足模型。