第4章-数据库安全性

第7章 数据库保护 第第4章章 数据库安全性数据库安全性 数据库的安全性安全性是指保护数据库以防止不合法的使用所保护数据库以防止不合法的使用所造成的数据泄露、更改或破坏。造成的数据泄露、更改或破坏。安全性问题不是数据库系统所独有的，所有计算机系统都有这个问题。只是在数据库系统中大量数据集中存放，而且为许多用户直接共享，从而使安全性问题更为突出。系统安全保护措施是否有效是数据库系统的主要性能指标之一。数据库的破坏一般来自以下四个方面：系统故障；并发所引起的数据不一致；输入或更新数据库数据有误；人为的破坏。所谓数据库安全（Security），就是要防止其中第四种。第7章 数据库保护 4.1 计算机安全性概述计算机安全性概述4.1.1 计算机系统的三类安全性问题计算机系统的三类安全性问题 计算机系统安全性，指为计算机系统建立和采取的各种安全保护措施，以保护计算机系统中的硬件、软件及数据，防止其因偶然或恶意的原因使系统遭到破坏，数据遭到更改或泄露等。计算机安全不仅涉及计算机系统本身的技术问题、管理问题，还涉及法学、犯罪学、心理学的问题。其内容包括计算机安全理论与策略；计算机安全技术、安全管理、安全评价、安全产品以及计算机犯罪与侦察、计算机安全法律、安全监察等等。概括起来，计算机系统的安全性问题可分为三大类，即：技术安全类、管理安全类和政策法律类技术安全类、管理安全类和政策法律类。第7章 数据库保护 1、技术安全、技术安全 是指计算机系统中采用具有一定安全性的硬件、软件来实现对计算机系统及其所存数据的安全保护，当计算机系统受到无意或恶意的攻击时仍能保证系统正常运行，保证系统内的数据不增加、不丢失、不泄露。2、管理安全、管理安全 技术安全之外的，诸如软硬件意外故障、场地的意外事故、管理不善导致的计算机设备和数据介质的物理破坏、丢失等安全问题，视为管理安全。3、政策法律类、政策法律类 指政府部门建立的有关计算机犯罪、数据安全保密的法律道德准则和政策法规、法令，本书只讨论技术安全类。第7章 数据库保护 4.1.2 可信计算机系统评测标准可信计算机系统评测标准 为降低进而消除对系统的安全攻击，尤其是弥补原有系统在安全保护方面的缺陷，在计算机安全技术方面逐步建立了一套可信标准。在目前各国所引用或制定的一系列安全标准中，最重要的当推1985年美国国防部（DoD）正式颁布的 DoD可信计算机系统评估标准（Trusted Computer System Evaluation Criteria，简记为TCSEC)1或DoD85）制定这个标准的目的主要有：1.提供一种标准，使用户可以对其计算机系统内敏感信息安全操作的可信程度做出评 估。2.给计算机行业的制造商提供一种可循的指导规则，使其产品能够更好的满足敏感应用 的安全需求。第7章 数据库保护 TCSEC又称桔皮书，1991年4月美国NCSC（国家计算机安全中心）颁布了可信计算机系统评估标准关于可信数据库系统的解释（Trusted Database Interpretation 简记为TDI，即紫皮书）。将TCSEC扩展到数据库管理系统。TDI中定义了数据库管理系统的设计与实现中需满足和用以进行安全性级别评估的标准。以下我们着重介绍 TDI/TCSEC 标准的基本内容。根据计算机系统对上述各项指标的支持情况，TCSEC（TDI）将系统划分为四组(division)七个等级，依次是D；C（C1，C2）；B（B1，B2，B3）；A（A1），按系统可靠或可信程度逐渐增高，如表9.1所示。第7章 数据库保护 在TCSEC中建立的安全级别之间具有一种偏序向下兼容的关系，即较高安全性级别提供的安全保护要包含较低级别的所有保护要求，同时提供更多或更完善的保护能力。下面，我们简略地对各个等级作一介绍。第7章 数据库保护 D级级是最低级别。保留D级的目的是为了将一切不符合更高标准的系统，统统归于D组。如DOS就是操作系统中安全标准为D的典型例子。它具有操作系统的基本功能，如文件系统，进程调度等，但在安全性方面几乎没有专门的机制来保障。C1级级只提供了非常初级的自主安全保护。能够实现对用户和数据的分离，进行自主存取控制（DAC），保护或限制用户权限的传播。现有的商业系统往往稍作改进即可满足要求。C2级级实际是安全产品的最低档次，提供受控的存取保护，即将C1级的DAC进一步细化，以个人身份注册负责，并实施审计和资源隔离。很多商业产品已得到该级别的认证。达到C2级的产品在其名称中往往不突出“安全”(Security)这一特色，如操作系统中Microsoft的Windows NT 3.5，数字设备公司的Open VMS VAX 6.0和6.1。数据库产品有Oracle公司的Oracle 7，Sybase公司的 SQL Server 11.0.6 等。第7章 数据库保护 B1级级提供标记安全保护。对系统的数据加以标记，并对标记的主体和客体实施强制存取控制（MAC）以及审计等安全机制。B1级能够较好地满足大型企业或一般政府部门对于数据的安全需求，这一级别的产品才认为是真正意义上的安全产品。满足此级别的产品前一般多冠以“安全”(Security)或“可信的”(Trusted)字样，作为区别于普通产品的安全产品出售。例如，操作系统方面，典型的有数字设备公司的SEVMS VAX Version 6.0，惠普公司的HP-UX BLS release 9.0.9+。数据库方面则有Oracle公司的Trusted Oracle 7，Sybase公司的Secure SQL Server version 11.0.6，Informix公司的Incorporated INFORMIX-OnLine/Secure 5.0等。B2级级提供结构化保护。建立形式化的安全策略模型并对系统内的所有主体和客体实施DAC和MAC。第7章 数据库保护 从互连网上的最新资料2看，经过认证的、B2级以上的安全系统非常稀少。例如，符合B2标准的操作系统只有Trusted Information Systems公司的Trusted XENIX一种产品，符合B2标准的网络产品只有Cryptek Secure Communications公司的LLC VSLAN一种产品，而数据库方面则没有符合B2标准的产品。B3级级 安全域。该级的TCB必须满足访问监控器的要求，审计跟踪能力更强，并提供系统恢复过程。A1级级 验证设计，即提供B3级保护的同时给出系统的形式化设计说明和验证以确信各安全保护真正实现。第7章 数据库保护 B2以上的系统标准更多地还处于理论研究阶段，产品化以至商品化的程度都不高，其应用也多限于一些特殊的部门如军队等。但美国正在大力发展安全产品，试图将目前仅限于少数领域应用的B2安全级别或更高安全级别下放到商业应用中来，并逐步成为新的商业标准。可以看出，支持自主存取控制的DBMS大致属于C级，而支持强制存取控制的DBMS则可以达到B1级。当然，存取控制仅是安全性标准的一个重要方面（即安全策略方面）不是全部。为了使DBMS达到一定的安全级别，还需要在其它三个方面提供相应的支持。例如审计功能就是DBMS达到C2以上安全级别必不可少的一项指标。第7章 数据库保护 4.2 数据库安全性控制数据库安全性控制 对于数据库的安全保密方式可以有系统处理的和物理的两个方面。所谓物理的是指对于强力逼迫透露口令、在通讯线路上窃听等行为而采取的保护措施。这些都不在我们讨论之列，目前我们只讨论在计算机系统中采取的措施。在一般计算机系统中，安全措施是一级一级层层设置的，例如可以有如下模型：用户DBMSOSDB用户标识和鉴别 存取控制 操作系统安全保护 数据密码存储 在上图的安全模型中，用户要求进入计算机系统时，系统首先根据输入的用户标识进行用户身份鉴定，只有合法的用户才准许进入计算机系统。对已进入系统的用户，DBMS还要进行存取控制，只允许用户执行合法操作。第7章 数据库保护 数据库安全控制的常用方法：用户标识和鉴定用户标识和鉴定存取控制存取控制视图视图审计审计密码存储密码存储第7章 数据库保护 4.2.1 用户标识与鉴别用户标识与鉴别 系统提供的最外层安全保护措施。系统提供的最外层安全保护措施。1、用一个用户名或者用户标识号来标明用户身份。系统鉴别此用户是否是合法用户，若是，则可以进入下一步的核实；若不是，则不能使用计算机。2、口令，为了进一步核实用户，系统常常要求用户输入口令。为保密起见，用户在终端输入的口令不显示在屏幕上，系统核对口令以鉴别用户身份。3、系统提供一个随机数，用户根据预先约定好的某一过程或者函数进行计算，系统根据用户计算结果是否正确进一步鉴定用户身份。用户标识和鉴定可重复多次。第7章 数据库保护 4.2.2 存取控制存取控制 对于通过鉴定的用户还要根据预先定义好的用户权限进行存取控制，保证用户只能存取他有权存取的数据。所谓用用户权限户权限是指不同的用户对于不同的数据对象允许执行的操作指不同的用户对于不同的数据对象允许执行的操作权限。权限。它由两部分组成，一是数据对象数据对象，二是操作类型操作类型。存取控制机制主要包括两部分：（1）定义用户权限定义用户权限，将用户权限登记到数据字典中。（2）合法权限检查合法权限检查，每当用户发出存取数据库的操作请求后DBMS查找数据字典，根据安全规则进行合法权限检查，若用户的操作请求超出了定义的权限，系统将拒绝执行此操作。用户权限定义和合法权检查机制一起组成了DBMS的安全子系统。当前大型的DBMS一般都支持C2级中的 自主存取自主存取控制控制（DAC）有些DBMS同时还支持B1级中的 强制存取控强制存取控制制（MAC）。第7章 数据库保护 在自主存取控制中，用户对于不同的数据对象有不同的存取权限，不同的用户对同一对象也有不同的权限，而且用户还可将其拥有的存取权限转授给其他用户。因此自主存取控制非常灵活。在强制存取控制中，每一个数据对象被标以一定的密级，每一个用户也被授予某一个级别的许可证。对于任意一个对象，只有具有合法许可证的用户才可以存取。强制存取控制因此相对比较严格。第7章 数据库保护 4.2.3自主存取控制方法自主存取控制方法 大型数据库管理系统几乎都支持自主存取控制，目前的SQL标准也对自主存取控制提供支持，这主要通过SQL 的GRANT语句语句和REVOKE语句语句来实现。用户权限是由两个要素组成的：数据对象数据对象和操作类型操作类型。定义一个用户的存取权限就是要定义这个用户可以在哪些数定义这个用户可以在哪些数据对象上进行哪些类型的操作据对象上进行哪些类型的操作。在数据库系统中，定义存取权限称为授权授权（Authorization）。第7章 数据库保护 关系数据库系统中的存取权限关系数据库系统中的存取权限对象类型对象操 作 类 型数据库模式CREATE SCHEMA基本表CREATE TABLE，ALTER TABLE模式视图CREATE VIEW索引CREATE INDEX数据基本表和视图SELECT，INSERT，UPDATE，DELETE，REFERENCES，ALL PRIVILEGES数据属性列SELECT，INSERT，UPDATE，REFERENCESALL PRIVILEGES 用户权限定义中数据对象范围越小授权子系统就越灵活。例如上面的授权定义可精细到字段级，而有的系统只能对关系授权。授权粒度越细，授权子系统就越灵活，但系统定义与检查权限的开销也会相应地增大。第7章 数据库保护 1、GRANTGRANT语句的一般格式：GRANT,.ON TO,.WITH GRANT OPTION;语义：将对指定操作对象的指定操作权限授予指定的用户 当选用WITH GRANT OPTION时,被授予的用户有权将获得的权限再授予其他用户。发出GRANT命令的可以是DBA、数据库对象创建者（即属主Owner）、拥有该权限的用户；按受权限的用户可以是一个或多个具体用户、也可以是PUBLIC（全体用户）。第7章 数据库保护 例例1 1 把查询把查询S S表权限授给用户表权限授给用户U1U1 GRANT SELECT ON TABLE S TO U1;GRANT SELECT ON TABLE S TO U1;例例2 2 把对把对S S表和表和C C表的全部权限授予用户表的全部权限授予用户U2U2和和U3U3 GRANT GRANT ALL PRIVILIGESALL PRIVILIGES ON TABLE S,C TO U2,U3;ON TABLE S,C TO U2,U3;例例3 3 把对表把对表SCSC的查询权限授予所有用户的查询权限授予所有用户 GRANT SELECT ON TABLE SC TO GRANT SELECT ON TABLE SC TO PUBLICPUBLIC;例例4 4 把查询把查询S S表和修改学生学号的权限授给用户表和修改学生学号的权限授给用户U4U4 GRANT GRANT UPDATE(S),UPDATE(S),SELECT ON TABLE S TO U4;SELECT ON TABLE S TO U4;例例5 5 把对表把对表SCSC的的INSERTINSERT权限授予权限授予U5U5用户，并允许他再将此用户，并允许他再将此权限授予其他用户权限授予其他用户 GRANT INSERT ON TABLE SC TO U5 GRANT INSERT ON TABLE SC TO U5 WITH GRANT OPTIONWITH GRANT OPTION;第7章 数据库保护 2、REVOKEGRANT语句的一般格式：REVOKE 权力,权力.ON 对象类型 对象名 FROM 用户,用户;语义：将对指定操作对象的指定操作权限从指定的用户回收例6 把用户U4修改学生学号的权限收回REVOKE UPDATE(S)ON TABLE S FROM U4;例7 收回所有用户对表SC的查询权限REVOKE SELECT ON TABLE SC FROM PUBLIC;例8 把用户U5对SC表的INSERT权限收回REVOKE INSERT ON TABLE SC FROM U5 CASCADE;第7章 数据库保护 衡量授权子系统精巧程度的另一个尺度是能否提供与数据值有关的授权。上面的授权定义是独立于数据值的，即用户能否对某类数据对象执行的操作与数据值无关，完全由数据名决定。反之，若授权依赖于数据对象的内容，则称为是与数据值有关的授权。有的系统还允许存取谓词中引用系统变量，如一天中的某个时刻，某台终端设备号。这样用户只能在某台终端、某段时间内存取有关数据，这就是与时间和地点有关的存取权限。另外，我们还可以在存取谓词中引用系统变量。如终端设备号，系统时钟等，这就是与时间地点有关的存取权限，这样用户只能在某段时间内，某台终端上存取有关数据。第7章 数据库保护 自主存取控制能够通过授权机制有效地控制其他用户对敏感数据的存取。但由于用户对数据的存取权限是“自主”的，用户可以自由地决定将数据的存取权限授予何人、决定是否也将“授权”的权限授予别人。在这种授权机制下，仍可能存在数据的“无意泄露”。一般说来，DBA拥有所有对象的所有权限，可以把不同的权限授予不同的用户；用户拥有自己建立的对象的全部的操作权限，可以授予给其他用户；被授权的用户只有获得“继续授权”许可才可再授予。所有授予出去的权力必要时又都可用REVOKE语句收回。第7章 数据库保护 3 3、创建数据库模式的权限、创建数据库模式的权限 DBA在创建用户时实现CREATE USER语句格式 CREATE USER WITHDBA|RESOURCE|CONNECT拥有的权限可否执行的操作CREATE USERCREATE SCHEMACREATE TABLE登录数据库 执行数据查询和操纵DBA可以可以可以可以RESOURCE不可以不可以不可以不可以CONNECT不可以不可以不可以可以，但必须拥有相应权限第7章 数据库保护 4.2.4 数据库角色数据库角色 数据库角色：被命名的一组与数据库操作相关的权限数据库角色：被命名的一组与数据库操作相关的权限 角色是权限的集合 可以为一组具有相同权限的用户创建一个角色 简化授权的过程1、角色的创建、角色的创建CREATE ROLE 2、给角色授权、给角色授权 GRANT ，ON 对象名对象名 TO，第7章 数据库保护 3、将一个角色授予其他的角色或用户将一个角色授予其他的角色或用户GRANT ，TO ，WITH ADMIN OPTION 若指定若指定WITH ADMIN OPTION，角色或用户还可把这种权限再授予其它的角色。4 4、角色权限的收回角色权限的收回 REVOKE，ON FROM，第7章 数据库保护 例9通过角色来实现将一组权限授予一个用户。步骤如下：1.首先创建一个角色 R1 CREATE ROLE R1；2.然后使用GRANT语句，使角色R1拥有S表的SELECT、UPDATE、INSERT权限GRANT SELECT，UPDATE，INSERT ON TABLE S TO R1；3.将这个角色授予王平，张明，赵玲。使他们具有角色R1所包含的全部权限 GRANT R1 TO 王平，张明，赵玲；4.可以一次性通过R1来回收王平的这3个权限REVOKE R1 FROM 王平；第7章 数据库保护 例10角色的权限修改 GRANT DELETE ON TABLE S TO R1；例11REVOKE SELECT ON TABLE S FROM R1；第7章 数据库保护 4.2.5 强制存取控制方法强制存取控制方法所谓MAC是指系统为保证更高程度的安全性，按照TDI/TCSEC标准中安全策略的要求，所采取的强制存取检查手段。保证更高程度的安全性保证更高程度的安全性用户不能直接感知或进行控制用户不能直接感知或进行控制适用于那些对数据有严格而固定密级分类的部门适用于那些对数据有严格而固定密级分类的部门例如军事部门或政府部门第7章 数据库保护 在MAC中，DBMS所管理的实体被分为主体和客体两大类。主体主体是系统中的活动实体，既包括DBMS所管理的实际用户，也包括代表用户的各进程。客体客体是系统中的被动实体，是受主体操纵的，包括文件、基表、索引、视图等等。对于主体和客体，DBMS为它们每个实例（值）指派一个敏感度标记敏感度标记（Label）。敏感度标记被分成若干级别，例如绝密绝密(Top Secret)、机密、机密(Secret)、可信、可信(Confidential)、公开、公开(Public)等。主体的敏感度标记称为许可证级别许可证级别(Clearance Level)，客体的敏感度标记称为密级密级（Classification Level）。MAC机制机制就是通过对比主体的对比主体的Label和客体的和客体的Label，最终确定主体是否能够存取客体确定主体是否能够存取客体。第7章 数据库保护 当某一用户（或一主体）以标记label注册入系统时，系统要求他对任何客体的存取必须遵循如下规则：(1)仅当主体的许可证级别大于或等于客体的密级时，该主体才能读取相应的客体；(2)仅当主体的许可证级别等于客体的密级时，该主体才能写相应的客体。规则(1)的意义是明显的。而规则(2)需要解释一下。在某些系统中，第(2)条规则与这里的规则有些差别。这些系统规定：仅当主体的许可证级别小于或等于客体的密级时，该主体才能写相应的客体，即用户可以为写入的数据对象赋予高于自己的许可证级别的密级。这样一旦数据被写入，该用户自己也不能再读该数据对象了。第7章 数据库保护 这两种规则的共同点在于它们均禁止了拥有高许可证级别的主体更新低密级的数据对象，从而防止敏感数据的泄漏。强制存取控制(MAC)是对数据本身进行密级标记，无论数据如何复制，标记与数据是一个不可分的整体，只有符合密级标记要求的用户才可以操纵数据，从而提供了更高级别的安全性。前面已经提到，较高安全性级别提供的安全保护要包含较低级别的所有保护，因此在实现MAC时要首先实现DAC，即DAC与MAC共同构成DBMS的安全机制。系统首先进行DAC检查,对通过DAC检查的允许存取的数据对象再由系统自动进行MAC检查，只有通过MAC检查的数据对象方可存取。第7章 数据库保护 4.2.6 视图机制视图机制进行存取权限控制时我们可以为不同的用户定义不同的视图，把数据对象限制在一定的范围内，也就是说，通过视图机制把要保密的数据对无权存取的用户隐藏起来，从而自动地对数据提供一定程度的安全保护。视图机制间接地实现了支持存取谓词的用户权限定义。在不直接支持存取谓词的系统中，我们可以先建立视图，然后在视图上进一步定义存取权限。第7章 数据库保护 4.2.7 审计审计前面讲的用户标识与鉴别、存取控制仅是安全性标准的一个重要方面（安全策略方面）不是全部。为了使DBMS达到一定的安全级别，还需要在其它方面提供相应的支持。例如按照TDI/TCSEC标准中安全策略的要求，“审计”功能就是DBMS达到C2以上安全级别必不可少的一项指标。因为任何系统的安全保护措施都不是完美无缺的，蓄意盗窃、破坏数据的人总是想方设法打破控制。审计功能把用户对数据库的所有操作自动记录下来放入审计日志（Audit Log）中。DBA可以利用审计跟踪的信息，重现导致数据库现有状况的一系列事件，找出非法存取数据的人、时间和内容等。审计通常很费时间和空间，所以DBMS往往都将其作为可选特征，允许DBA根据应用对安全性的要求，灵活地打开或关闭审计功能。审计功能一般主要用于安全性要求较高的部门。第7章 数据库保护 七、数据加密七、数据加密对于高度敏感性数据，例如财务数据、军事数据、国家机密，除以上安全性措施外，还可以采用数据加密技术。数据加密是防止数据库中数据在存储和传输中失密的有效手段。加密的基本思想是根据一定的算法将原始数据（术语为明文，Plain text）变换为不可直接识别的格式（术语为密文，Cipher text），从而使得不知道解密算法的人无法获知数据的内容。加密方法主要有两种，一种是替换方法，该方法使用密钥（Encryption Key）将明文中的每一个字符转换为密文中的一个字符。另一种是置换方法，该方法仅将明文的字符按不同的顺序重新排列。单独使用这两种方法的任意一种都是不够安全的。但是将这两种方法结合起来就能提供相当高的安全程度。采用这种结合算法的例子是美国1977年制定的官方加密标准，数据加密标准（Data Encryption Standard，简称DES）。有关DES秘密密钥加密技术及密钥管理问题等已超出本书范围，这里不再讨论。第7章 数据库保护 3、统计数据库安全性一般地，统计数据库允许用户查询聚集类型的信息（例如合计、平均值等），但是不允许查询单个记录信息。例如，查询“程序员的平均工资是多少？”是合法的，但是查询“程序员张勇的工资是多少？”就不允许。在统计数据库中存在着特殊的安全性问题，即可能存在着隐蔽的信息通道，使得可以从合法的查询中推导出不合法的信息。例如下面两个查询都是合法的：l本公司共有多少女高级程序员？l本公司女高级程序员的工资总额是多少？如果第一个查询的结果是“1”，那么第二个查询的结果显然就是这个程序员的工资数。这样统计数据库的安全性机制就失效了。为了解决这个问题，我们可以规定任何查询至少要涉及N(N足够大)个以上的记录。但是即使这样，还是存在另外的泄密途径，看下面的例子：某个用户A想知道另一用户B的工资数额，他可以通过下列两个合法查询获取：第7章 数据库保护 l用户A和其他N个程序员的工资总额是多少？l用户B和其他N个程序员的工资总额是多少？假设第一个查询的结果是X，第二个查询的结果是Y，由于用户A知道自己的工资是Z，那么他可以计算出用户B的工资=Y-(X-Z)。无论采用什么安全性机制，都仍然会存在绕过这些机制的途径。好的安全性措施应该使得那些试图破坏安全的人所花费的代价远远超过他们所得到的利益，这也是整个数据库安全机制设计的目标。第7章 数据库保护 小结：小结：随着计算机特别是计算机网络的发展，数据的共享日益加强，数据的安全保密越来越重要。DBMS是管理数据的核心，因而其自身必须具有一整套完整而有效的安全性机制。可信计算机系统评测标准TCSEC/TDI是目前各国所引用或制定的一系列安全标准中最重要的一个。TCSEC/TDI从安全策略、责任、保证和文档四个方面描述了安全性级别的指标。按照这些指标，目前许多大型DBMS 达到了C2级，其安全版本达到了B1。实现数据库系统安全性的技术和方法有多种，最重要的是存取控制技术和审计技术。C2级的DBMS必须具有自主存取控制功能和初步的审计功能，B1的DBMS必须具有强制存取控制和增强的审计功能。自主存取控制功能一般是通过SQL 的GRANT语句和REVOKE语句来实现的。第7章 数据库保护 1.按TCSEC（TDI）系统安全标准，系统可信程度逐渐增高的次序是_。A)D、C、B、A B)A、B、C、D C)D、B2、B1、CD)C、B1、B2、D 2_是最低级别，在安全性方面几乎没有什么专门的机制来保障。A)D级 B)C2级 C)B1级 D)A级3_是安全产品的最低档次，提供受控的存取保护（DAC）。很多商业产品已得到该级别的认证。A)D级 B)C2级 C)B1级 D)A级4_对系统的数据加以标记，并对标记的主体和客体实施强制存取控制（MAC）以及审计等安全机制，能够较好地满足大型企业或一般政府部门对于数据的安全需求，是真正意义上的安全产品。A)D级 B)C2级 C)B1级 D)A级第7章 数据库保护 5_提供验证设计，即提供B3级保护的同时给出系统的形式化设计说明和验证以确信各安全保护真正实现。A)D级 B)C2级 C)B1级 D)A级