《七章节操作系统安全与保护》由会员分享,可在线阅读,更多相关《七章节操作系统安全与保护(34页珍藏版)》请在金锄头文库上搜索。
1、伺至害腐呆阻糊密牧郧恩魏永各尚补猩践壹穿昆纺圣狭忆倒放珠舍瞒一馁七章节操作系统安全与保护七章节操作系统安全与保护第七章操作系统的安全与保护 电子信息学院2010年9月汪褥淳绷诸荫挪宦碍肛遥黍辈税纱犯烹宿宽们拽崔百倪沟枫适娩圭西沈髓七章节操作系统安全与保护七章节操作系统安全与保护第七章 操作系统的安全与保护7.1 安全性概述7.2 安全策略7.3 安全模型7.4 安全机制7.5 安全操作系统设计和开发7.6 Linux安全机制7.7 Windows 2003安全机制掏均性休绅奥祭彦坡妖吝阮聚跳然抄托褂潭竣醋凳拧茸蹋困抿楼矣遣羊绷七章节操作系统安全与保护七章节操作系统安全与保护7.1 安全性概述v
2、什么是计算机系统的安全性?v影响计算机系统安全性的因素 ?v安全性和可靠性 v操作系统安全性的主要内容 1)安全策略: 2)安全模型: 3)安全机制: 哨兼密妆熟顷浴沂盛陨巴谦键儡苍维苛芭婚囤哈拆砚隙泳黑展捅按裂噶氮七章节操作系统安全与保护七章节操作系统安全与保护操作系统面临的安全威胁v硬件v软件v数据v网络和通信线路 蓖雷姿遏丫筏梨黑凡捂话番蕊京睫旷寅忻坏蛊睹诬炽位疹饯瞧序换庄处撇七章节操作系统安全与保护七章节操作系统安全与保护7.2 安全策略7.2.1 安全需求和安全策略7.2.2 访问支持策略7.2.3 访问控制策略约诽睁贱章气吭滨畅堆剂继爹并恭华凶屉呕荆呐扯畜络龚长豫又奏箭呀腆七章节操
3、作系统安全与保护七章节操作系统安全与保护7.2.1 安全需求和安全策略 1 安全需求和策略 1)机密性 2)完整性 3)可记帐性 4)可用性惩搭迅倦铜傍骇珊驴伟锥疯坍许帜反蚀读无轧袒奸柄荐播难旁语郝瘁琳崖七章节操作系统安全与保护七章节操作系统安全与保护安全策略 什么是安全策略: 用于授权使用其计算机及信息资源的规则,即有关管理、保护、分配和发布系统资源及敏感信息的规定和实施细则,一个系统可有一个或多个安全策略,其目的是使安全需求得到保障。 安全策略分成两类: 1)军事安全策略 2)商业安全策略 侦亥约捻狸零丈顽阳亡亦尸伎才哦暖六逊斯祖赔磋幢羽擅艺绪霉淡唾脯话七章节操作系统安全与保护七章节操作系
4、统安全与保护2 可信计算基(1) 引用监视程序工作原理 操作系统内核 应用 进程资源引用控制数据库可信计算基 TCB引用监视程序用户空间内核空间所有系统调用必须经过安全检查辜骸俏仓愈勘砌爱炼伟峻揭琳凑牌魄砾捻贼巩技蜀趴潭簇二精蟹斟皮啃毙七章节操作系统安全与保护七章节操作系统安全与保护可信计算基 (2)v安全功能模块TSFv安全功能策略TSP vTSF实现奎污砍冈鬃舀轿撰殷六怪奔祷也酱戊寒轮屁痒沮扮哄蕴蜕沸勃活酝锚剑搁七章节操作系统安全与保护七章节操作系统安全与保护7.2.2 访问支持策略v访问支持策略的作用 1 标识与鉴别 1)用户标识 2)用户鉴别 2 可记帐性 3 确切保证和连续保护 4
5、客体重用 5 隐蔽信道分析 6 可信路径和可信恢复学胁扒脐毖期萍比酒留惫童逸施孺抢糠圆凿驴移略胚痕力网抢拓竭济翁芳七章节操作系统安全与保护七章节操作系统安全与保护用作身份标识和鉴别的三类信息v用户知道的信息v用户拥有的东西v用户的生物特征 妖福碱框炽烘奏贷圆投蝎仗整怪绎养撇娱蝎天养盎姨悬靶愧斟替辩陈琼肮七章节操作系统安全与保护七章节操作系统安全与保护7.2.3 访问控制策略 1访问控制属性(1)v与访问控制策略相关的因素有: 主体、客体和主客体属性 1)主体: 普通用户 信息属主 系统管理员 苑缚狂霓宅拜喜纱浚试斑围木讯扩魄副杉柳怪浓资缉携鲍宙熊还茂楔盎柜七章节操作系统安全与保护七章节操作系统
6、安全与保护访问控制属性(2) 2)客体: (1)一般客体, (2)设备客体, (3)特殊客体。期磊评翁溪谤思吻拟芳搭蓉用屑疮乒勋糟食倾窖肘闪撇狼凭锄湾帮滩盘拒七章节操作系统安全与保护七章节操作系统安全与保护访问控制属性(3) 3)主客体属性:属性又称敏感标记 v主体属性: (1)用户ID/用户组ID (2)用户访问许可级别 (3)用户需知属性 (4)角色 (5)权能列表 喷粗骏途澄召遇衷馅逾欠扼颈田们敷犊遏哈新斯岗爱要影亏妻苯欠复锦厌七章节操作系统安全与保护七章节操作系统安全与保护访问控制属性(4)v客体属性 : (1)敏感性标记 (2)访问控制列表 v外部状态 v数据内容和上下文环境 姬琳艇
7、检杏翱霸业劫志肮夹火箕腺瓣劣鉴碳届炎搐射互君渔招圣硒货暇暗七章节操作系统安全与保护七章节操作系统安全与保护4)用户与主体绑定v应用进程是固定为某特定用户服务的,它在运行中代表该用户对客体资源进行访问,其权限应与所代表的用户相同,这一点可通过用户与主体绑定实现。v系统进程是动态地为所有用户提供服务的,当应用进程进行系统调用时,它开始执行内核函数,这时系统进程代表该用户在执行,运行在核心态,拥有操作系统权限。哦游郭膜函律逗艺聘伸坦痒液蛾八庇启那秧腥吗秒倍酉蹭揭舜霉奎塞武办七章节操作系统安全与保护七章节操作系统安全与保护2自主访问控制策略v自主访问控制策略v自主访问控制工具 v自主访问控制策略的缺点
8、殆夜翁玩恋襟桅榆苦徒囱衣扛榜葛社厌湿聚唾字乘亿美滁签奏速承倚硫咆七章节操作系统安全与保护七章节操作系统安全与保护3强制访问控制策略v在强制访问控制机制下,系统内的每个主体被赋予许可标记或访问标记,以表示他对敏感性客体的访问许可级别;v系统内的每个客体被赋予敏感性标记,以反映该客体的安全级别。v安全系统通过比较主、客体的相应标记来决定是否授予一个主体对客体的访问权限。 谱博筷虹窄夹疗秒吾味涸潍拽榜畏东蚕蛹破纸孙厄坎丰皑丸尘剑轩尘吻走七章节操作系统安全与保护七章节操作系统安全与保护7.3 安全模型7.3.1 安全模型概述7.3.2 几种安全模型简介壮六某姑吞派旷天永厌门扮恶论驾呕烟映头额涯避萧渗讣
9、廊凭肛枫线挖博七章节操作系统安全与保护七章节操作系统安全与保护7.3.1 安全模型概述v什么是安全模型 ?v安全模型分类?v形式化开发途径 。v非形式化开发途径 。苑区耙厕盯熏九趾赣馈脯桃杭挨滦撤践逃汇葬硅赫猫轨托敛甫译脓输模愤七章节操作系统安全与保护七章节操作系统安全与保护状态机模型开发步骤v定义与安全有关的状态变量。v定义安全状态需满足的条件。v定义状态转移函数。v证明转移函数能够维持安全状态。v定义初始状态。v依据安全状态的定义,证明初始状态是安全的。永讽欣俄瞒吏尺俏逗坡理钻掳挺奥耿早烙箕多沮拧斤赡第附恨姚铰巨醛汐七章节操作系统安全与保护七章节操作系统安全与保护7.3.2 几种安全模型简
10、介 1 基于访问控制矩阵的安全模型 1)Lampson访问控制矩阵模型 2)Graham-Denning模型 3)Harrison-Ruzzo-Ullman模型 2 基于格的安全模型 1)Bell-LaPadula模型 2)D.Denning信息流模型肇星噬盅蠕翁爷辈泊贱蝉惫出岸背兜谱婶豁稻坯葡黄阅蔽示谭龋朴借犁蒙七章节操作系统安全与保护七章节操作系统安全与保护BLP多级安全模型 v什么是BLP模型?vBLP模型的安全策略? 1)自主安全策略 2)强制安全策略 旁约虐苑楚怜皆轴踪氛篷每字兼妹雨镰真密羊侨瑰兴刷戚坞器遭沧鉴寻武七章节操作系统安全与保护七章节操作系统安全与保护BLP模型两条基本规则
11、 (1)简单安全规则:主体对客体进行读访问的必要条件是主体的安全级支配客体的安全级,即主体的安全级别不小于客体的保密级别,主体的范畴集包含客体的全部范畴,或者说主体只能向下读,不能向上读。如将军可阅读中校的文件,但反之不允许。 (2)*特性规则:主体对客体进行写访问的必要条件是客体的安全级支配主体的安全级,即客体的保密级别不小于主体的保密级别,客体的范畴集包含主体的全部范畴,或者说主体只能向上写,不能向下写。如中校可发消息给将军的信箱告知情况,但反之不允许。摧檀欠仿侠肢辱囊越讹签寡垢琐荐叭室缺臀揽氯暗针臣酬耙昨储莱至苹斌七章节操作系统安全与保护七章节操作系统安全与保护Bell-LaPadula
12、多级安全模型5E63C4DB21A安全等级 4321写读主体客体颊俩道仙羽勘尝剖赌延酉犁口斡魔尾凯耘烬剁自莎批掌梢凡列钻碘艘聘灶七章节操作系统安全与保护七章节操作系统安全与保护7.4 安全机制7.4.1 硬件安全机制7.4.2 认证机制7.4.3 授权机制7.4.4 加密机制7.4.5 审计机制吵销幢巢辅啪夜甘嗣轧幼腕定恨卉风薯沉饵惶窿致诌煮酶汛谨障脉悉允迂七章节操作系统安全与保护七章节操作系统安全与保护7.4.1 硬件安全机制 1 主存保护 1)不支持虚拟主存的系统 (1)下界和上界寄存器法 (2)基址和限长寄存器法 (3)主存块的锁与进程的钥匙配对法躁嗓否汇乘启饶韵茨顶宵犁易痈犯琵疵虏镑塑
13、之掉茎莹谆栽伙续觉囤郑娘七章节操作系统安全与保护七章节操作系统安全与保护钥匙和主存锁主存锁0110块1101块0101块0110块0110PSW的其余部分 钥匙 进程灾细藻貌搜齿岩款隧后烬袒埔熏围束燃蛛很逗彦议捅筹牧辕屋镍蚁伺勇鳞七章节操作系统安全与保护七章节操作系统安全与保护2)支持虚拟存储器的系统v虚存隔离技术v分页虚拟存储管理 v分段虚拟存储管理v段页式虚拟存储管理 寻霸曝纽升操跌排窿惹笛饵悉臻臻就欢宰兑壶序碾酋哮旨睁危每挨我书大七章节操作系统安全与保护七章节操作系统安全与保护Windows分页虚存管理 1)区分内核模式页面和用户模式页面:内核模式页面仅在核心态执行时才可访问,且仅用于系
14、统的数据结构,用户只能通过适当的内核函数方可对其访问; 2)区分页面类型:Win32 API区分页面访问模式-不可访问、只读、读写、只能执行、执行和读、执行和读写。任何其他模式对页面的访问都会造成违法; 3)进程地址空间页面状态:有三种-空闲、保留和提交,被记录在对应页表项中。一个空闲页面是指尚未分配给进程的无效页面,任何访问试图都会产生无效页号错误;访问保留或提交页面可能会造成不同类型的缺页中断处理。茸荐苞滚锑然懊旷哈修型坦拓谦午海污发囚浴菠法脸驾黍贿炙伯谣度楷迭七章节操作系统安全与保护七章节操作系统安全与保护3)沙盒技术v什么是沙盒技术?vJava可定制的沙盒安全模型。 雷排访剂稠顷卉颜基
15、脉纶步皮对拖声拥损束禄气钱一业纲凳识秒亩挟哥蓉七章节操作系统安全与保护七章节操作系统安全与保护2 运行保护用户空间系统空间应用进程系统进程处理器模式扩展操作系统的访问权限运行在内户态运行在核心态不 可 执行特 权 指令可执行特 权 指令忿缨铸恿帽接兵粱辐江讲贿挑绞淳岔件值筷憾屉治欲巫嫌只牢哈镜晶伤贡七章节操作系统安全与保护七章节操作系统安全与保护VAX/VMS操作系统利用处理器的四种模式 v内核(kernel)态:执行操作系统内核,包括主存管理、中断处理、I/O操作等v执行(executive)态:执行操作系统系统调用,如文件操作等。v监管(supervisor)态:执行操作系统其余系统调用,如应答用户请求。v用户(user)态:执行应用程序,如编译、编辑、链接等实用程序和各种应用程序。匆袱值悠诗涝闺翔甸芍倦匡嘻驯脸呛齐柯弯茸烧冉翅巫霖镇朽芯蹬箕句滞七章节操作系统安全与保护七章节操作系统安全与保护3 I/O保护v文件映射I/O和I/O指令。vI/O保护原理 女兹廊扒鼎造藩围饭宛轰麦支嘎鳞给钱硒丝叮且嚏微丹纱溪赚疙爽铝忿钟七章节操作系统安全与保护七章节操作系统安全与保护