SELinux详解（带完整中文标签）
SELinux详解（带完整中文标签）,不错的介绍selinux的文档第5章:"类型增强策略ˆε在这·章中,我们描述了所有核心策咯语言规则和编写类型增强策略的指令。类型增强是 SELinux最重要的访问控制特性,第6章:"角色和用户"。在这一章中,我们描述」 seLinux基于角色的访问控制杋制,以及策略语言中的角色和用户如何支持类型增强策。第7章:"约東″。在这一章中,我们描述∫ sELinux策略语言的约束特性,即在支持强制策咯类型的策咯内提供约束。第8章:"多级安仝"。在这一章中,我们描述了除核心强制访问控制之外的,允许非强制的多级安全访问控制的策咯语言特性。第9章:"条件策略″。在这一章中,我们描述了策眳语言旳増强,使我们可以在类型增强策略中应用布尔表达式,布尔表达式的值在生产系统上,在运行过程中可以被改变第10章:"对象标记″。在这一章中,我们结束了对簧略语言的描述,同时描述了如何标记对象,以及如何在 seLinux增强的访问控制支持下管理那些标记第三部分:"创建和编写 seLinux安仝策略"。在这最后一部分中,我们向你展示如何使用策略语言,同时描写了建立安仝策略的方法,以及如何管理一个 SELinux系统和调试SELinuX策略模块。第11章:"最早的样例箦略″。在这一章中,我们描述了样例篑略,它是一个创建 sELinuX箎略的方法(源文件,构建工具和示范等),自从美国国家安全局(NSA)释放出最初的样例策略以来,已经经过多年的发展和改进。第12章:ˆ参考策略″。在这一章中,我们描述了一个新的创建 seLinuX策略的方法,它提供了所有样例策略的特性。最近发布的 Fedora core5就是使用参考策略作为它的策略基础的。第13章:"管理 SELinux系统"。在这一章中,我们描述了 SELinux如何影响 Linux系统的管理的。第14章:"编写策略模块"。在这最后一章中,我们利用在木书中学到的所有知识总结成一个向导式的指南,指导如何为样例策略和参考策略编写策略模块。附录。木书结尾包括了儿个附加的参考资料的附录附录A:"获取 SELinⅹ样例策略″。提供了关于如何获取本书中描述过的样例策略源文件的说明。附录B:"参与和额外信息"。列出了关于 seLinux的额外信息源,以及如何参与 seLinux的开发。附录C:"对象类参考"。提供了个详绀的关于 SELinux内核对象类和关联的许可的字典附录D:" seLinux命令和实用程序″。提供」一些实用程序和第三方工只,帮助开发SELinuX策略和管理 SELinux系统。如何使用这本书很少有人翻来覆去地阅读一本技术书籍。大多数人都只想理解某个特定的知识点或开始探索一下新技术。尽管反复阅读确实是可取的,这里我们也给出一和备选的方法。透彻阅读并理解第一部分的内容(第1-3章)。这一部分提供了必要的背景知识和概念,对深入理解 SELinux是很有帮助的。特别要仔细阅读和理解第2章。你可能想撇去第二部分(第4-10章)的内容,这一部分主要讲解了 seLinux策略语言。对大多数人而言,这一部分的内容确实显得太深入了,特别是对于初次接触 SELinux的人更是如此。因此,你可以跳过第4章和第10章,但要仔细阅读第5章。这些章节覆盖了几乎所有 seLinux策略语言元紊,在编写策略时就会使用到。最后,阅读第三部分的所有章节(第11-14章),描述了你感兴趣的问题。阅读这些章节时使用第二部分作参考。侧边栏,注意,警告和提示贯穿本书,我们广泛使用了侧边栏和注解以提供附加的信息或强调某个项目,也包括了大量的警告和提示。下面是它们在本书中的约定。侧边栏:我们使用侧边栏主要出于两个目的。首先,使用它描述在章节主体内容中没有直接涉及到附加信息。例如:我们使用侧边栏列出不同 SeLinux版本之间的差异或深入描述读者感兴趣的某个特定的概念。在第二部分中,我们使用侧边栏来描述所有 seLinux策略语言语句的完整语法。这些语法侧边栏为大量策略语言元素提供了快速参考注意:我们伩用注意为某个特定知识点提供了附加的强调。通常注意是非常短的附加说明警告:警告与注意的使用类似,只是它更着重强调或指出需要额外小心提示:为如何执行一个给定的功能提供快速提示和建议,或使某事交得容易的技巧。排版约定所有技术书籍都必须使用某种排版约定,以便于与读者更好地沟通。我们使用斜体宁表示定义概念时的一个关键概念(通常是首次使用时定义),同时也使用斜体字表示强调。对于着重强调的地方,我们使用粗体字对所有 SELinux策略语言元素( allow),用户命令(ps,ls)或你输入的内谷或你在电脑显示屏上看到的内容使用固定宽度的字体。对于显小命令及其输出的长清单,我们使用 Bourne shell标准提小符#( root shell)和$(普通用户shel1)。用户输入使用粗体加固定宽度字体。例如:Is -lz /etc/selinux/W---yroct rcotsystem u: object_r: selinux_config_tconfig彐rwxr-xr-roctrcotsystem u: object r: selinux con=ig tstrictdrwxr-xr-xroct rcotsystcm u: object r: selinux con=ig ttargeted谈论到斥函数或系统调用时,我们约定使用·对空括号,如 execve(,对策略带有参数的宏也使用这个约定,如 domain auto trans(。当参考Linx命令或函数的帮助手册时,对命令或函数使用斜体字,并用括弧将手册小节括起来。如make(1), execve(2)。从哪里获取 SELinuxSELinux在多个 Linux发行版中受到支持,包括 Red Hat Enterprise linux, Red hatFedora core, Gentoo和 Debian。 Fedora core已经成为 SELinux社区测试和集成大部分创新技术的主要平台。 Red Hat Enterprise linux版本4(RHEL4)是第一个完全支持 SeLinux的大型商业发行版。我们在本书中描述的所有内容都与RHEL4和其他发行版有关。我们选择 Fedora core4(FC4)作为本书的基础,它是REI4之后释放出来的一个 FedoraCore版本。我们描述的所有内容都可以在FCA系统上重现。在我们花了八个月编写此书期间,FC4在不断发展、测试、发布。当我们写完此书时 Fedora Core5(FC5)刚刚发布。FC5集成了许多 SELinux新的特性,FC5的特性可能暗示了RIEL5将会更新的内容。实际上,我们在本书中标注了FC4中没有FC5中的新特性和功能。同样,我们也标了FC4中有但RHEL4中没有的特性如果你是一个企业用户或开发人员,你很可能正在使用RHE4或计划使用RHEL5。目前我们使用RHEL4开发我们的个业应用产品。如果你是一名 seLinux的开发人员或早期使用者,你可能正在使用某 Fedora ceυre版木或某些其他发行版。无论你是哪种情况,木书都将会向你提供大量的关于如何使用 SELinuX和开发 SELinux策略的信息。如何取得本书中的样例策略贯穿本书,我们给出了大量的 SElinux策略样例。这些样例基于 Red hat发布 FedoraCore4附带的 strict策略。我们在第1l章详细地介绍了这个策略。C4默认使用的是 target策略,而不是 strict策略,因此你必须用更多的步骤来获得我们样例使用的基础策略。在第三部分中,我们扩大了视野,涵盖了其但类型的策略。在附录A中,我们提供了如何获得本书使用到的样例策略源文件的说明。目录第一部分: SELinux摘要1第1章.背景11.1.软件失效的必然性11.2.操作系统访问控制安全的进展22.1.引用监视程序原理21.2.2.任意访问控制的问题31.2.3.强制访问控制的起源31.2.4.更好的强制访问控制41.2.5. sELinux的发展51.3.小结6练习6第2章:概念12.1.类型强制的安全上下文12.1.1.对比 SELinux和标准 Linux22.1.2.安全上下文22.2.类型强制访问控制32.2.1.类型强制示例42.2.2.域转变的问题52.2.3.标准 Linux安全中的 setuid程序62.2.4.域转变72.2.5.默认域转变: type transition指令2.3.角色92.4. SELinux中的多层安全102.5.精通 SELinux特性112.5.1.重游 passwd示例122.5.2精读策略文件122.6.小结13练习14第3章.架构13.1.内核架构13.1.1.LSM框架13.1.2. SELinuX LSM模块23.2.用户空间客体管理器43.2.1.用户空间客体管理器的内核支持43.2.2.策略服务器架构53.3. SELinux策略语言63.3.1.本地 SELinux策略语言编译器63.3.2.单个策略中的源策咯模块83.3.3.载入式策略模块83.3.4.构建和安装单策略83.4.小结10练习10第部分: SELinux策略语言1第4章.客体类别和许可14.1. seLinux中客体类别的用途14.2.在 SELinux策略中定义客体类别24.2.1.声明客体类别24.2.2.声明并连接客体类别许可34.3.有效的客体类别54.3.1.与文件相关的客体类别54.3.2.与网终有关的客体类别74.3.3. system V IPC客体类别84.3.4.其它杂类客体类别84.4.客体类别许可示例94.4.1.文件客体类别许可94.4.2.进程客体类别许可115.使用Apol研究客体类别144.6.小结16练习16第5章-类型强制15.1.类型强制15.2.类型、属性和别名25.2.1.类型声明25.2.2.类型和属性35.2.3.关联类型和属性45.2.4.别名55.3.访问向量规则65.3.1.通用AV规则语法75.3.2.允许( allow)规则115.3.3审核( audit)规则1l5.3.4. neverallow规则135.4.类型规则145.4.1.通用类型规则语法155.4.2类型转换规则165.4.3.类型改变规则185.5.用Apol研究类型强制规则195.6.小结21练习22第6章.角色和用户16.1. SELinux中基于角色的访问控制16.1.1. SELinux中RBAC概述26.1.2.用角色管理用户权限36.1.3.客体安全上下文中的用户和角色46.2.角色和角色语句46.2.1.角色声明语句46.2.2.角色a11w规则56.2.3.角色转换规则56.2.4.角色控制语句66.3.用户和用户语句76.3.1.声明用户及其关联的角色76.3.2.将 Linux用户映射到 SELinuX用户86.4.用Apol分析角色和用户86.5.小结10练习11第7章.约東17.1.近距离查看访问决定算法7.2.约束语句27.3.标记转换约束57.4.小结8练习8第8章.多层安全8.1.多层安全约束8.2.开启了MLS后的安全上下文18.2.1.安全级别定义28.2.2MLS对安全上下文的扩展48.3.MS约束58.3.1. mlsconstrain语句58.3.2. mlsvalidatetrans语句88.4.MS的其它作用108.5.小结11练习11第9章.条件策略19.1.条件策略概述19.2.布尔变量29.2.1.布尔变量定义29.2.2.在运行系统中关联布尔变量29.2.3.对布尔值的永久性改变9.3.条件语句69.3.1.条件表达式和规则列表69.3.2.条件语句限制99.3.2.1.支持的语句99.3.2.2.嵌套条件话句109.4.使用Apol检查布尔和条件策略109.5.小结14练习14第10章.客体标记110.1.客体标记简介110.2.与文件有关的客体标记210.2.1.扩展属性的文件系统( fs use xattr)410.2.1.1.扩展属性文件系统的标记行为510.2.1.2.在扩展属性文件系统中管理安全上卜文(文件上卜文)610.2.2.基于任务的文件系统( fs use task)710.2.3.基于转换的文件系统( fs use trans)710.2.4.普通安全上下文标记( genesco)810.2.4.1. gencon语句绀粒度标记810.2.4.2.使用 gentscon语句标记传统文件系统1010.3.网终和套接字客体标记1010.3.1.网络接口标记( netifcon)10.3.2.网络节点标记( nodecon)1110.3.3.网络端口标记( porton)1210.3.4.套接字标记1310. 1. System V IPC 1110.5.其它客体标记1410.5.1. capability客体标记1510.5.2. process客体标记1510.5.3. system和 security客体标记1510.6.初始安全标识符1510.7.使用Apo1研究客体标记1710.8.小结18练习19第三部分:创建和编写 SELinux安全策略1第11章.原始示例策略111.1.管理构建过程的方法111.2. strict小例策略211.2.1.策略源文件结构概述311.2.1.1.客体类别和许可定义411.2.1.2.域类型和策略规则411.2.1.3.独立的资源类型511.2.1.4.其它顶层文件和目录511.2.1.5.安全上下文标记611.2.1.6.应用程序配冒文件711.2.2.分析示例策略模块711.2.2.1.定义类型和域911.2.2.2.指定域转换规则1011.2.2.3.条件策略小例1111.2.2.4.ping命令的网络和其它访问1111.2.2.5.审核规则1211.2.2.6.文件安全上下文标记1211.2.3. strict小例策略构建选项12
- 2020-12-05下载
- 积分：1
北航矩阵论学习笔记
北京航空航天大学矩阵理论学习笔记，总结版，学霸总结，可以放心下载使用北京航空航天大学张京蕊工程系统工程系月录§0补充公式§1 Jordan(约当)标准形(简介)§2线性变换与矩阵.24§3欧式空间与QR分解.48§4常用矩阵分解●鲁D●●·,,,,,74§5范数与级数.81§6广义逆A..97§7直积拉直及应用105矩阵理论A笔记北京航空航天大学张京蕊工程系统工程系§0补充公式令A=(a)mxn∈C",风x)=4o+a1x0定义f(4)=a0+a1A+…+amAm,其中I=l若g(x)=bo+b1x+…+bkx,(x)g(x)=g(x)(x),则f(4)“g(A)=g(A)f(A)分块公式A10令A,A1,A2为方阵00 A(2)f(A),fx)为多项式令A=,A1,4为方阵AO(2)f(4)相似关系:A∽B,(PAP=B)则:(1)(P1AP)=P!AP,(k=0,1,2,(2)f(PAP)=PfA)P,f(x)为多项式许尔公式( schur):每个复方阼,A-(a)nxm都相似丁上三角形。共113页矩阵理论A笔记第1页北京航空航天大学张京蕊工程系统工程系即:P-1AP=其中41,,的次序可以任意指定Pf:用归纳法n=1时成立可以设为(n=1阶方阵成立对于n阶方阵A=(an)2×n设特征值为A,…,n取为对应的特征向量,记为a1≠0,A1=1ax1把a1扩展为可逆方阵Q=(a1,02,xn)22e又:g(a,a,…,.)=(Qa,Qba2,,Qan)其中Qe1,aQ0Q4=QA(a1a2,…an)2-I(Aa,,AAQ=(Qa,、+)…,(*)其中A1为(n-1所阶0人:0 A为由假设,对于A1必有(n-1)阶P,可推出PAPEg知n阶方阵A,适合A=0,则A+|=1共113页矩阵理论A笔记第2页北京航空航天大学张京蕊工程系统工程系Pf:A=0→任意特征值A=0→>=0即全体特征值为00,,00由需要P1AP=→PAP+7=1pAP+PP|=P(4+1)P=14+1→A+1=-1注(1)若AB(相似),则AB有相同特征值A,可引入记号:谱集(4)={2,2,…,λ}(全体特征值,含重复)A∽B→o()=o(B)(2)A∽B→1-A=1-B-(2-4元一2)…(-n),特征多项式PAP=B=A-A=p(1-A)P=A-B引理:若A0A2,则M-A|-|M1-4|-1-A1|2-A2→ar(4)=o(A)∪a(42k+1,Ak-2,…n1f(x2)设B,f(x)为多项式,则f(B)=o f(,)引理:若n阶方阵A的谱集(4)=1,42,…},则)的全体特社值为)2,…,),x)为多项式Pf:由许尔定理,A∽B→f(4)∽f(B)f(x)的全体特征值为(A1)(42),,()},fx)为多项式例如:4为A的特征值→x为4的特征值。(x)=x)共113页矩阵理论A笔记第3页北京航空航天大学张京蕊工程系统工程系引理:令B,f(x)=x-B|=(x-41)(x-12)….(x-n)则fB)=(B-1D(B-21)…(B-A1D=0Pf:当n=2时,B=0x2f(x)=(x-1)(x-2)000→f(B)-(B-41)(B-21)(2-元)0(00∴得证★ Cayley公式:设n阶方阵A的特征多项式为f(x)=|x-A|=a+a1x+…,+x则f4)=anl+a14+…,+4=0Pf:由许尔PAP=B=→P(4)P=fp3P)=f(B)=0(引理)定义若多项式x)使(4)=0,则称(x)为A的个零化式结论方阵A的特征多项式)=1x1-4为A的一个零化式g特征多项式fx)=x2可知:f(A)=A2+1=+I=00-1Hx)=|xI-A|=(x-)(x+i,(i=√-1,t2=-1)f(A)=(A-i)(4+i1=0也可取P=则PPAP=,对角形共113页矩阵理论A笔记第4页北京航空航天大学张京蕊工程系统工程系g:知A则A"=0Onxn由 Cayley特征多项式:f(x)=x"→f(4)=4"=0Ex 1. A=求P使得PP为对角阵,并验证 Cayley定理2.A=cd/,求fx)=x1-4验证f4)-0补充知识( schur公式、 Cayley公式)应用由A"=-(a0I+a1A+1A·AanA+a142+…+a.,A把①代入②→Am1=(-)+(+)4+…+(+)41可知:任何和(m≥n)都可写成,4,,A的线性组合任何多项式g(A),可写成lA,…,4的组合。Fg:若A|≠0,fx)=xI-A|=a0+a1x+…+x",ao=|-A|≠则A可用A的多项式表示∵a1A+a242+…+an21A-+A"--a072A(a1+a24+…+an-142+A)Aa1+…+an1A"2+A-1零化式定义:若g(x)=b+b1x+…+bnx,使得g(4)=bn+b14+…+bn4m=0,称g(x)为方阵A的零化式注:方阵A的零化式有无穷多个∴取特征多项式x)则4)=0任取式M(x),f(A(4)=0→f(x)(x)也是零化式极小式定义:在方阵A的零化式集合中,去次数最小的且首项系数为1的零化式m(x),称它为A的极小式共113页矩阵理论A笔记第5页北京航空航天大学张京蕊工程系统工程系注:极小式唯一性质:①极小式m(x)必为特征多项式fx)=|xI-A的因式。②特征多项式fx)=|x1-A的每个单因子(x-4)也是极小式的因子)f(x)=|x1-4=(x-x)(x-2)则极小式m(x)=(x-x)(x-2)y…(x-,),且1≤l1≤m1,1≤l2≤m2,…,1≤l≤n,41,A2…,n互不相同210EgA=020,B=020,求极小式mA(),m()解:(1)|xI-A|=(x-2)(x-1)极小式为:(x-2)(x-1)或(x-2)(x-1)计算:(4-2/)4-1)=000010k≠000000∴极小式为m4(x)=(x-2)2(x-1)(2)|-B|-=(x-2)2(x-1)00000计算:(B-2)B-1)=000010=000-1八000∴极小式为m(x)=(x-2)(x-1)Eg求下列极小式m(x)4604-60(1)A=-3-50,(2)B=2-303-6100210(3)C,(4)D=000010002000解:(1)特征多项式|x7-A|-(x-1)(x+2)极小式为:(x-1)(x+2)或(x-1)(x+2)共113页矩阵理论A笔记第6页北京航空航天大学张京蕊工程系统工程系验证:(4-D(A+2D=0∴极小式为m(x)-(x-1)(x+2)(3)解法如下引理:A1,A2的极小式为m1(x),m2(x)A10的极小式m(x)等丁m1(x),m2(x)的最小公倍式0A2(此引力可推广到A1,42,43)0100极小式为(x-1)2,0010极小式为(x-1)0取最小公倍式(x-1)2为C的极小式。460(5)F-/40,A1=020|,A00 A0123-6101O引理;设D=,则D的极小式m(x)O验证:先证D的性质(右推公式)设A-(an)xn=(a1,2,…,n)则有AD=(0,01,a2,,.m1)AD2=(0,0,∞1,,x12)AD=(0,….0.,a1,,axn)单位向量技巧:∵AI=A(en,e2…,en)=(el,leAen)=A=(a1, a2,. a,)∴Ae1=01,Ae2=(2,.,A→AD=A(0,e1,e2,…,en-1)=(0,a1,a2…,an-)同理AD2=(AD)D=(0,.01,.12)可知:D-1-(D)Dy2-(0.,0,,e1)≠0D"=(D)D1=0,而特征多项式(x)=|x1-D|=x,极小式为某个x共113页矩阵理论A笔记第7页
- 2020-12-09下载
- 积分：1
