计算机信息系统安全保护等级课件.ppt
- 【下载声明】
1. 本站全部试题类文档,若标题没写含答案,则无答案;标题注明含答案的文档,主观题也可能无答案。请谨慎下单,一旦售出,不予退换。
2. 本站全部PPT文档均不含视频和音频,PPT中出现的音频或视频标识(或文字)仅表示流程,实际无音频或视频文件。请谨慎下单,一旦售出,不予退换。
3. 本页资料《计算机信息系统安全保护等级课件.ppt》由用户(三亚风情)主动上传,其收益全归该用户。163文库仅提供信息存储空间,仅对该用户上传内容的表现方式做保护处理,对上传内容本身不做任何修改或编辑。 若此文所含内容侵犯了您的版权或隐私,请立即通知163文库(点击联系客服),我们立即给予删除!
4. 请根据预览情况,自愿下载本文。本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。
5. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007及以上版本和PDF阅读器,压缩文件请下载最新的WinRAR软件解压。
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 计算机信息 系统安全 保护 等级 课件
- 资源描述:
-
1、计算机信息系统安全评估标准介绍计算机信息系统安全评估标准介绍 北京大学北京大学 闫强闫强2标准介绍标准介绍 信息技术安全评估准则发展过程信息技术安全评估准则发展过程 可信计算机系统评估准则(可信计算机系统评估准则(TCSEC)可信网络解释可信网络解释(TNI)通用准则通用准则CC 计算机信息系统安全保护等级划分准则计算机信息系统安全保护等级划分准则 信息安全保证技术框架信息安全保证技术框架 信息系统安全保护等级应用指南信息系统安全保护等级应用指南 3信息技术安全评估准则发展过程信息技术安全评估准则发展过程 2020世纪世纪6060年代后期,年代后期,19671967年美国国防部(年美国国防部(
2、DODDOD)成立了)成立了一个研究组,针对当时计算机使用环境中的安全策略一个研究组,针对当时计算机使用环境中的安全策略进行研究,其研究结果是进行研究,其研究结果是“Defense Science Board Defense Science Board report”report”7070年代的后期年代的后期DODDOD对当时流行的操作系统对当时流行的操作系统KSOSKSOS,PSOSPSOS,KVMKVM进行了安全方面的研究进行了安全方面的研究 4信息技术安全评估准则发展过程信息技术安全评估准则发展过程 8080年代后,美国国防部发布的年代后,美国国防部发布的“可信计算机系统评估可信计算机系
3、统评估准则(准则(TCSECTCSEC)”(即桔皮书)(即桔皮书)后来后来DODDOD又发布了可信数据库解释(又发布了可信数据库解释(TDITDI)、可信网络)、可信网络解释(解释(TNITNI)等一系列相关的说明和指南)等一系列相关的说明和指南 9090年代初,英、法、德、荷等四国针对年代初,英、法、德、荷等四国针对TCSECTCSEC准则的局准则的局限性,提出了包含保密性、完整性、可用性等概念的限性,提出了包含保密性、完整性、可用性等概念的“信息技术安全评估准则信息技术安全评估准则”(ITSECITSEC),定义了从),定义了从E0E0级级到到E6E6级的七个安全等级级的七个安全等级 5信
4、息技术安全评估准则发展过程信息技术安全评估准则发展过程 加拿大加拿大19881988年开始制订年开始制订The Canadian Trusted The Canadian Trusted Computer Product Evaluation Criteria Computer Product Evaluation Criteria(CTCPECCTCPEC)19931993年,美国对年,美国对TCSECTCSEC作了补充和修改,制定了作了补充和修改,制定了“组合组合的联邦标准的联邦标准”(简称(简称FCFC)国际标准化组织(国际标准化组织(ISOISO)从)从19901990年开始开发通用的
5、国际年开始开发通用的国际标准评估准则标准评估准则 6信息技术安全评估准则发展过程信息技术安全评估准则发展过程 在在19931993年年6 6月,月,CTCPECCTCPEC、FCFC、TCSECTCSEC和和ITSECITSEC的发起组织的发起组织开始联合起来,将各自独立的准则组合成一个单一的、开始联合起来,将各自独立的准则组合成一个单一的、能被广泛使用的能被广泛使用的ITIT安全准则安全准则 发起组织包括六国七方:加拿大、法国、德国、荷兰、发起组织包括六国七方:加拿大、法国、德国、荷兰、英国、美国英国、美国NISTNIST及美国及美国NSANSA,他们的代表建立了,他们的代表建立了CCCC编
6、辑编辑委员会(委员会(CCEBCCEB)来开发)来开发CCCC 7信息技术安全评估准则发展过程信息技术安全评估准则发展过程 19961996年年1 1月完成月完成CC1.0CC1.0版版,在在19961996年年4 4月被月被ISOISO采纳采纳 19971997年年1010月完成月完成CC2.0CC2.0的测试版的测试版 19981998年年5 5月发布月发布CC2.0CC2.0版版 19991999年年1212月月ISOISO采纳采纳CCCC,并作为国际标准,并作为国际标准ISO 15408ISO 15408发发布布 8安全评估标准的发展历程安全评估标准的发展历程 桔皮书桔皮书(TCSEC
7、)1985英国安全英国安全标准标准1989德国标准德国标准法国标准法国标准加拿大标准加拿大标准1993联邦标准联邦标准草案草案1993ITSEC1991通用标准通用标准V1.0 1996V2.0 1998V2.1 19999标准介绍标准介绍 信息技术安全评估准则发展过程信息技术安全评估准则发展过程 可信计算机系统评估准则(可信计算机系统评估准则(TCSEC)可信网络解释可信网络解释(TNI)通用准则通用准则CC 计算机信息系统安全保护等级划分准则计算机信息系统安全保护等级划分准则 信息安全保证技术框架信息安全保证技术框架 信息系统安全保护等级应用指南信息系统安全保护等级应用指南 10TCSEC
8、 在在TCSECTCSEC中,美国国防部按处理信息的等级和应采用的中,美国国防部按处理信息的等级和应采用的响应措施,将计算机安全从高到低分为:响应措施,将计算机安全从高到低分为:A A、B B、C C、D D四类八个级别,共四类八个级别,共2727条评估准则条评估准则 随着安全等级的提高,系统的可信度随之增加,风险随着安全等级的提高,系统的可信度随之增加,风险逐渐减少。逐渐减少。11TCSEC四个安全等级:四个安全等级:无保护级无保护级 自主保护级自主保护级 强制保护级强制保护级验证保护级验证保护级12TCSEC D D类是最低保护等级,即无保护级类是最低保护等级,即无保护级 是为那些经过评估
9、,但不满足较高评估等级要求的系是为那些经过评估,但不满足较高评估等级要求的系统设计的,只具有一个级别统设计的,只具有一个级别 该类是指不符合要求的那些系统,因此,这种系统不该类是指不符合要求的那些系统,因此,这种系统不能在多用户环境下处理敏感信息能在多用户环境下处理敏感信息 13TCSEC四个安全等级:四个安全等级:无保护级无保护级 自主保护级自主保护级 强制保护级强制保护级验证保护级验证保护级14TCSEC C C类为自主保护级类为自主保护级 具有一定的保护能力,采用的措施是自主访问控制和具有一定的保护能力,采用的措施是自主访问控制和审计跟踪审计跟踪 一般只适用于具有一定等级的多用户环境一般
10、只适用于具有一定等级的多用户环境 具有对主体责任及其动作审计的能力具有对主体责任及其动作审计的能力15TCSECC C类分为类分为C1C1和和C2C2两个级别两个级别:自主安全保护级(自主安全保护级(C1级级)控制访问保护级(控制访问保护级(C2级)级)16TCSEC C1级级TCBTCB通过隔离用户与数据,使用户具备自主安全保通过隔离用户与数据,使用户具备自主安全保护的能力护的能力 它具有多种形式的控制能力,对用户实施访问控制它具有多种形式的控制能力,对用户实施访问控制 为用户提供可行的手段,保护用户和用户组信息,避为用户提供可行的手段,保护用户和用户组信息,避免其他用户对数据的非法读写与破
11、坏免其他用户对数据的非法读写与破坏 C1C1级的系统适用于处理同一敏感级别数据的多用户环级的系统适用于处理同一敏感级别数据的多用户环境境 17TCSEC C2C2级计算机系统比级计算机系统比C1C1级具有更细粒度的自主访问控制级具有更细粒度的自主访问控制 C2C2级通过注册过程控制、审计安全相关事件以及资源级通过注册过程控制、审计安全相关事件以及资源隔离,使单个用户为其行为负责隔离,使单个用户为其行为负责 18TCSEC四个安全等级:四个安全等级:无保护级无保护级 自主保护级自主保护级 强制保护级强制保护级验证保护级验证保护级19TCSEC B B类为强制保护级类为强制保护级 主要要求是主要要
12、求是TCBTCB应维护完整的安全标记,并在此基础上应维护完整的安全标记,并在此基础上执行一系列强制访问控制规则执行一系列强制访问控制规则 B B类系统中的主要数据结构必须携带敏感标记类系统中的主要数据结构必须携带敏感标记 系统的开发者还应为系统的开发者还应为TCBTCB提供安全策略模型以及提供安全策略模型以及TCBTCB规规约约 应提供证据证明访问监控器得到了正确的实施应提供证据证明访问监控器得到了正确的实施 20TCSECB类分为三个类别:类分为三个类别:标记安全保护级(标记安全保护级(B1级)级)结构化保护级(结构化保护级(B2级)级)安全区域保护级(安全区域保护级(B3级)级)21TCS
13、EC B1B1级系统要求具有级系统要求具有C2C2级系统的所有特性级系统的所有特性 在此基础上,还应提供安全策略模型的非形式化描述、在此基础上,还应提供安全策略模型的非形式化描述、数据标记以及命名主体和客体的强制访问控制数据标记以及命名主体和客体的强制访问控制 并消除测试中发现的所有缺陷并消除测试中发现的所有缺陷 22TCSECB类分为三个类别:类分为三个类别:标记安全保护级(标记安全保护级(B1级)级)结构化保护级(结构化保护级(B2级)级)安全区域保护级(安全区域保护级(B3级)级)23TCSEC 在在B2B2级系统中,级系统中,TCBTCB建立于一个明确定义并文档化形式建立于一个明确定义
14、并文档化形式化安全策略模型之上化安全策略模型之上 要求将要求将B1B1级系统中建立的自主和强制访问控制扩展到级系统中建立的自主和强制访问控制扩展到所有的主体与客体所有的主体与客体 在此基础上,应对隐蔽信道进行分析在此基础上,应对隐蔽信道进行分析 TCBTCB应结构化为关键保护元素和非关键保护元素应结构化为关键保护元素和非关键保护元素24TCSEC TCBTCB接口必须明确定义接口必须明确定义 其设计与实现应能够经受更充分的测试和更完善的审其设计与实现应能够经受更充分的测试和更完善的审查查 鉴别机制应得到加强,提供可信设施管理以支持系统鉴别机制应得到加强,提供可信设施管理以支持系统管理员和操作员
15、的职能管理员和操作员的职能 提供严格的配置管理控制提供严格的配置管理控制 B2B2级系统应具备相当的抗渗透能力级系统应具备相当的抗渗透能力25TCSECB类分为三个类别:类分为三个类别:标记安全保护级(标记安全保护级(B1级)级)结构化保护级(结构化保护级(B2级)级)安全区域保护级(安全区域保护级(B3级)级)26TCSEC 在在B3B3级系统中,级系统中,TCBTCB必须满足访问监控器需求必须满足访问监控器需求 访问监控器对所有主体对客体的访问进行仲裁访问监控器对所有主体对客体的访问进行仲裁 访问监控器本身是抗篡改的访问监控器本身是抗篡改的 访问监控器足够小访问监控器足够小 访问监控器能够
16、分析和测试访问监控器能够分析和测试27TCSEC为了满足访问控制器需求为了满足访问控制器需求:计算机信息系统可信计算基在构造时,排除那些对计算机信息系统可信计算基在构造时,排除那些对实施安全策略来说并非必要的代码实施安全策略来说并非必要的代码计算机信息系统可信计算基在设计和实现时,从系计算机信息系统可信计算基在设计和实现时,从系统工程角度将其复杂性降低到最小程度统工程角度将其复杂性降低到最小程度28TCSECB3B3级系统支持级系统支持:安全管理员职能安全管理员职能扩充审计机制扩充审计机制当发生与安全相关的事件时,发出信号当发生与安全相关的事件时,发出信号提供系统恢复机制提供系统恢复机制系统具
17、有很高的抗渗透能力系统具有很高的抗渗透能力29TCSEC四个安全等级:四个安全等级:无保护级无保护级 自主保护级自主保护级 强制保护级强制保护级验证保护级验证保护级30TCSEC A类为验证保护级类为验证保护级 A A类的特点是使用形式化的安全验证方法,保证系统的类的特点是使用形式化的安全验证方法,保证系统的自主和强制安全控制措施能够有效地保护系统中存储自主和强制安全控制措施能够有效地保护系统中存储和处理的秘密信息或其他敏感信息和处理的秘密信息或其他敏感信息 为证明为证明TCBTCB满足设计、开发及实现等各个方面的安全要满足设计、开发及实现等各个方面的安全要求,系统应提供丰富的文档信息求,系统
18、应提供丰富的文档信息31TCSECA A类分为两个类别:类分为两个类别:验证设计级(验证设计级(A1A1级)级)超超A1A1级级 32TCSEC A1A1级系统在功能上和级系统在功能上和B3B3级系统是相同的,没有增加体级系统是相同的,没有增加体系结构特性和策略要求系结构特性和策略要求 最显著的特点是,要求用形式化设计规范和验证方法最显著的特点是,要求用形式化设计规范和验证方法来对系统进行分析,确保来对系统进行分析,确保TCBTCB按设计要求实现按设计要求实现 从本质上说,这种保证是发展的,它从一个安全策略从本质上说,这种保证是发展的,它从一个安全策略的形式化模型和设计的形式化高层规约(的形式
19、化模型和设计的形式化高层规约(FTLSFTLS)开始)开始 33TCSEC 针对针对A1A1级系统设计验证,有级系统设计验证,有5 5种独立于特定规约语言或种独立于特定规约语言或验证方法的重要准则:验证方法的重要准则:安全策略的形式化模型必须得到明确标识并文档化,提供该模安全策略的形式化模型必须得到明确标识并文档化,提供该模型与其公理一致以及能够对安全策略提供足够支持的数学证明型与其公理一致以及能够对安全策略提供足够支持的数学证明 应提供形式化的高层规约,包括应提供形式化的高层规约,包括TCBTCB功能的抽象定义、用于隔功能的抽象定义、用于隔离执行域的硬件离执行域的硬件/固件机制的抽象定义固件
20、机制的抽象定义 34TCSEC应通过形式化的技术(如果可能的化)和非形式化的应通过形式化的技术(如果可能的化)和非形式化的技术证明技术证明TCB的形式化高层规约(的形式化高层规约(FTLS)与模型是一)与模型是一致的致的 通过非形式化的方法证明通过非形式化的方法证明TCB的实现(硬件、固件、的实现(硬件、固件、软件)与形式化的高层规约(软件)与形式化的高层规约(FTLS)是一致的。应证)是一致的。应证明明FTLS的元素与的元素与TCB的元素是一致的,的元素是一致的,FTLS应表达应表达用于满足安全策略的一致的保护机制,这些保护机制用于满足安全策略的一致的保护机制,这些保护机制的元素应映射到的元
21、素应映射到TCB的要素的要素 35TCSEC应使用形式化的方法标识并分析隐蔽信道,非形式化应使用形式化的方法标识并分析隐蔽信道,非形式化的方法可以用来标识时间隐蔽信道,必须对系统中存的方法可以用来标识时间隐蔽信道,必须对系统中存在的隐蔽信道进行解释在的隐蔽信道进行解释 36TCSECA1级系统级系统:要求更严格的配置管理要求更严格的配置管理 要求建立系统安全分发的程序要求建立系统安全分发的程序 支持系统安全管理员的职能支持系统安全管理员的职能 37TCSECA A类分为两个类别:类分为两个类别:验证设计级(验证设计级(A1A1级)级)超超A1A1级级38TCSEC 超超A1A1级在级在A1级基
22、础上增加的许多安全措施超出了目前级基础上增加的许多安全措施超出了目前的技术发展的技术发展 随着更多、更好的分析技术的出现,本级系统的要求随着更多、更好的分析技术的出现,本级系统的要求才会变的更加明确才会变的更加明确 今后,形式化的验证方法将应用到源码一级,并且时今后,形式化的验证方法将应用到源码一级,并且时间隐蔽信道将得到全面的分析间隐蔽信道将得到全面的分析 39TCSEC 在这一级,设计环境将变的更重要在这一级,设计环境将变的更重要 形式化高层规约的分析将对测试提供帮助形式化高层规约的分析将对测试提供帮助 TCB开发中使用的工具的正确性及开发中使用的工具的正确性及TCB运行的软硬件运行的软硬
23、件功能的正确性将得到更多的关注功能的正确性将得到更多的关注40TCSEC超超A1级系统涉及的范围包括:级系统涉及的范围包括:系统体系结构系统体系结构安全测试安全测试形式化规约与验证形式化规约与验证可信设计环境等可信设计环境等41标准介绍标准介绍 信息技术安全评估准则发展过程信息技术安全评估准则发展过程 可信计算机系统评估准则(可信计算机系统评估准则(TCSEC)可信网络解释可信网络解释(TNI)通用准则通用准则CC 计算机信息系统安全保护等级划分准则计算机信息系统安全保护等级划分准则 信息安全保证技术框架信息安全保证技术框架 信息系统安全保护等级应用指南信息系统安全保护等级应用指南 42可信网
24、络解释(可信网络解释(TNI)美国国防部计算机安全评估中心在完成美国国防部计算机安全评估中心在完成TCSEC的基础的基础上,又组织了专门的研究镞对可信网络安全评估进行上,又组织了专门的研究镞对可信网络安全评估进行研究,并于研究,并于1987年发布了以年发布了以TCSEC为基础的可信网络为基础的可信网络解释,即解释,即TNI。TNI包括两个部分(包括两个部分(Part I和和Part II)及三个附录)及三个附录(APPENDIX A、B、C)43可信网络解释(可信网络解释(TNI)TNI第一部分提供了在网络系统作为一个单一系统进行第一部分提供了在网络系统作为一个单一系统进行评估时评估时TCSE
25、C中各个等级(从中各个等级(从D到到A类)的解释类)的解释 与单机系统不同的是,网络系统的可信计算基称为网与单机系统不同的是,网络系统的可信计算基称为网络可信计算基(络可信计算基(NTCB)44可信网络解释(可信网络解释(TNI)第二部分以附加安全服务的形式提出了在网络互联时出第二部分以附加安全服务的形式提出了在网络互联时出现的一些附加要求现的一些附加要求 这些要求主要是针对完整性、可用性和保密性的这些要求主要是针对完整性、可用性和保密性的 45可信网络解释(可信网络解释(TNI)第二部分的评估是定性的,针对一个服务进行评估的结第二部分的评估是定性的,针对一个服务进行评估的结果一般分为为:果一
展开阅读全文