【技术实现步骤摘要】
强制访问控制机制的实施方法属于安全操作系统设计与实现领域，是信息安全的核心技术之一。(二)
技术介绍
操作系统是应用软件同系统硬件的接口，其目标足高效地、最大限度地、合理地使用计算机资源。而安全操作系统是增强安全机制与功能，保障计算资源使用的保密性，完整性和可用性。如果没有安全操作系统的支持，数据库就不可能具有存取控制的安全可用性，就不可能有网络系统的安全性，也不可能有应用软件信息处理的安全性。因此，安全操作系统是整个信息系统安全的基础，缺少安全操作系统的保护，整个系统的安全就如同建立在沙滩上的堡垒。 许多经典文献指出，当前主流操作系统的不安全的主要原因也是由于缺少强制访问控制机制。强制访问控制机制是安全操作操作系统的重要的安全功能之一，是否具备该功能，也是高安全等级操作系统和低安全等级操作系统重要区别之一。在GB17859-1999《计算机信息系统安全保护等级划分准则》中，要求符合第三级安全标记保护级要求的系统具有强制访问控制功能，并且强制访问控制的实施需要提供有关强制访问控制模型、数据标记、以及主体和客体非形式化描述。更近一步，在第四级结构化保护级的系统中...
【技术保护点】
本专利权利要求主要包括安全体系结构、强制访问控制流程和强制访问控制支撑模型三项：１．安全体系结构的划分强制访问控制机制是安全Ｌｉｎｕｘ操作系统的重要部分，整个系统主要包括：强制访问控制执行模块、标记管理模块、管理信息处理模块、安全初始化模块以及存储介质加密保护模块，模块的关系在附图１，以下是各个模块的关系。１）强制访问控制执行模块：强制访问控制执行模块在系统调用接口位置截取系统执行流程，并顺序执行以下功能：●调用标记管理模块完成系统中主客体的标识和强制访问控制验证工作。●根据环境的完整性检查。●在系统引导过程中，执行系统用户开机检查功能，为系统的启动分配初始主体信息。５）存...
【技术特征摘要】
本专利权利要求主要包括安全体系结构、强制访问控制流程和强制访问控制支撑模型三项1.安全体系结构的划分强制访问控制机制是安全Linux操作系统的重要部分，整个系统主要包括强制访问控制执行模块、标记管理模块、管理信息处理模块、安全初始化模块以及存储介质加密保护模块，模块的关系在附图1，以下是各个模块的关系。1)强制访问控制执行模块强制访问控制执行模块在系统调用接口位置截取系统执行流程，并顺序执行以下功能●调用标记管理模块完成系统中主客体的标识和强制访问控制验证工作。●根据标记管理模块返回的函数调用结果，对系统调用行为进行裁决。●根据裁决的结果，提取该次行为的审计信息，并将其发送到管理信息处理模块。●对被裁决为非法访问的行为，进行返回处理，并返回系统错误信息给应用子系统。2)标记管理模块标记管理模块在系统内核层执行，完成如下一些安全功能●根据管理信息处理模块提供的强制访问控制包，建立内核用户安全列表、客体安全列表和特权安全列表。●在系统执行创建新主体(fork，exec)和创建新客体(open，create)的操作时，从安全列表中查找对应的安全标记，并与主体/客体绑定。●在系统执行访问时，根据强制访问控制执行模块提供的主体/客体标记，对访问是否符合强制访问控制进行判决，如果判决允许，则返回允许结果给强制访问控制执行模块。●对不符合强制访问控制的访问，判断主体是否具有该客体的执行特权，如符合该特权，则返回特权允许信息给强制访问控制执行模块，否则返回禁止访问结果。3)管理信息处理模块管理信息处理模块处理与安全管理相关的信息收发、筛选，包括强制访问控制模块的接收和审计模块的发送，具体功能如下●接收安全管理中心发送的下拉安全管理策略数据包，检查其可信性，即完整性，而后将其解密后发送给标记管理模块。●接收强制访问控制处理模块中获取的审计信息，对其进行分类筛选，并根据其优先级次序将审计信息发送给审计子系统。●对需要完整性验证的客体访问操作，当标记管理模块返回不确定结果时，强制访问控制执行模块向管理信息处理模块发送对应审计信息，由管理信息处理模块的完整性验证进程执行完整性验证功能，并将结果向标记管理模块发送，然后通知强制访问控制执行模块。●对网络访问控制行为，当标记管理模块返回不确定结果时，强制访问控制执行模块向管理信息处理模块发送对应审计信息或执行完整性验证功能，管理信息处理模块据此组织可信接入申请数据包，并向对应的安全节点子系统发送，而后获取对应节点的可信接入应答数据包，返回可信接入确认数据包，然后通知强制访问控制执行模块。4)安全初始化模块安全初始化模块完成功能如下●系统从启动到正常运行过程中基于完整性度量的可信链建立，包括TPCM模块对BIOS的完整性检查，BIOS对可信引导程序的完整性检查，可信引导程序对可信初始系统的完整性检查，可信初始系统对运行环境的完整性检查。●在系统引导过程中，执行系统用户开机检查功能，为系统的启动分配初始主体信息。5)存储介质加密保护模块存储介质加密保护模块对文件系统向存储介质的读写操作执行文件粒度的加密保护功能，防止绕过系统TCB机制对存储介质的直接访问行为导致泄密事故。注其具体划分参加说明书附图1。2.强制访问控制实施流程系统在初始化过程中，安全管理中心需要对系统中的所有主体和客体实施身份管理、标记管理、授权管理和策略管理。身份管理是确定系统中的所有合法用户的身份、工作密钥、证书等与安全相关的内容。标记管理是根据业务系统的需要，结合客体资源的重要程度，确定系统中所有客体资源的安全级，生成全局客体标记列表，同时根据用户在业务系统中的权限和角色确定主体的安全标记，生成全局主体标记列表。授权管理是根据系统需求和安全状况，授予用户访问客体资源能力的权限，生成强制访问控制列表和特权列表。策略管理则是根据节点系统的需求，生成和执行主体相关的策略，包括强制访问控制策略、级别改变检查策略等，供节点系统执行。除此之外，系统审计员需要通过安全管理中心制定系统审计策略，实施系统的审计管理。系统初始化完成后，用户便可以请求访问系统资源，该请求将被强制访问控制模块截获。强制访问控制模块从用户请求中取出访问控制相关的主体、客体、操作三要素信息，然后查询全局主/客体列表，得到主/客体的标记信息。进而依据强制访问控制策略对该请求实施策略符合性检查。如果该请求符合系统强制访问控制策略，则系统将允许该主体执行资源访问。否则，系统将进行级别改变审核，即依据级别改变检查策略，判断发出该请求的主体是否有特权访问该客体。如果上述检查通过，系统同样允许该主体执行资源访问，否则，该请求将被系统拒绝执行。系统强制访问控制机制在执行强制访问控制过程中，需要根据系统审计员制定的审计策略，对用户的请求及安全决策结果进行审计，并且将生成的审计信息发送到审计服务器存储，供审计员管理。注其具体流程参加说明书附图2。3.强制访问控制的支撑模型二元多级安全模型强制访问控制机制应该建立在形式化的安全模型之上。经典的BLP模型是一个最早提出的防止敏感信息泄漏的机密性安全模型，而Biba模型是一个防止信息被非法的篡改和破坏的完整性模型。在当前复杂的计算环境下，在防止信息泄漏的基础上应该防止信息被非授权的修改，即在保护敏感信息机密性的同时保护信息的完整性，因此需要一个兼顾信息机密性和完整性的二元多级安全模型。以下是在实现安全操作系统时，所采用的安全策略模型的形式化描述定义1主体、客体及操作S为主体的集合，O为客体的集合，而A＝{r，w，a，e}表示主体对于客体访问方式的集合，其中r为读访问，w为写访问，a为追加写访问，e为执行访问。定义2机密性等级集合LC为机密性等级集合，其中Cf为正整数保密级函数集合，cm＞cn表示保密级cm大于保密级cn。Kc＝{k1，k2，....，kn}为非等级机密性范畴，表示k1包含于k2。定义LC上的满足偏序特性的“支配”关系≥，设l1＝(c1，k1)∈Lc，l2＝(c2，k2)∈Lc，l1≥l2当且仅当c1≥c2，定义3完整性等级集合LI为完整性等级集合，其中If为正整数完整级函数集合，im＞in表示完整级im大于完整级in。Ki＝{k1，k2，....，kn}为非等级完整性范畴，表示k1包含于k2，设定义LI上的满足偏序特性的“支配”关系≥，l1＝(c1，k1)∈Li，l2＝(c2，k2)∈Li，l1≥l2当且仅当i1≥i2，定义4系统状态系统状态v，集合V中的元素v∈V＝{B×M×F×I×H}为一个系统状态，其中当前存取集B对于b＝(s×o×a)∈B，s∈S，o∈O，a∈A表示主体s以a的方式对于客体o进行访问；存取控制矩阵MM＝{M是矩阵|mij∈M是主体si对于客体oj的访问权限集合}；机密级等级函数F是由三个分量组成，即f＝{fs，fc，fo}，fs为主体最大机密级函数，fs(s)∈Lc表示主体最大机密级；fc为主体当前机密级函数，fc(s)∈Lc为主体当前机密级；fo为客体机密级函数，fo(s)∈Lc为客体机密级。完整级等级函数I是由三个分量组成，I＝{Is，Ic，Io}，Is为主体最大完整级函数，Is(s)∈Li表示主体最大完整级；Lc为主体当前完整级函数，Ic(s)∈Li为主体当前完整级；Io为客体完整级函数，Io(s)∈Li为客体完整级。客体间的层次结构HH＝{h|h∈P(O)o∩属性1∩属性2}。属性1 <mrow><mo>∀</mo><msub> <mi>o</mi> <mi>i</mi></msub><mo>∈</mo><mi>O</mi><mo>,</mo><mo>∀</mo><msub> <mi>o</mi> <mi>j</mi></msub><mo>∈</mo><mi>O</mi><mo>,</mo><mrow> <mo>(</mo> <msub><mi>o</mi><mi>i</mi> </msub> <mo>≠</mo> <msub><mi>o</mi><mi>j</mi> </msub> <mo>⇒</mo> <mi>H</mi> <mrow><mo>(</mo><msub> <mi>o</mi> <mi>i</mi></msub><mo>)</mo> </mrow> <mo>∩</mo> <mi>H</mi> <mrow><mo>(</mo><msub> <mi>o</mi> <mi>j</mi></msub><mo>)</mo> </mrow> <mo>=</mo> <mi>φ</mi> <mo>)</mo></mrow><mo>;</mo> </mrow>属性2 <mrow><mo>!</mo><mo>∃</mo><mo>{</mo><msub> <mi>o</mi> <mn>1</mn></msub><mo>,</mo><msub> <mi>o</mi> <mn>2</mn></msub><mo>,</mo><msub> <mi>o</mi> <mn>3</mn></msub><mo>,</mo><mo>.</mo><mo>.</mo><mo>.</mo><mo>.</mo><mo>.</mo><mo>.</mo><msub> <mi>o</mi> <mi>w</mi></msub><mo>}</mo><mo>⊆</mo><mi>O</mi><mo>[</mo><mo>∀</mo><mi>r</mi><mrow> <mo>(</mo> <mn>1</mn> <mo>≤</mo> <mi>r</mi> <mo>≤</mo> <mi>w</mi> <mo>⇒</mo> <msub><mi>o</mi><mrow> <mi>r</mi> <mo>+</mo> <mn>1</mn></mrow> </msub> <mo>∈</mo> <mi>H</mi> <mrow><mo>(</mo><msub> <mi&g...
【专利技术属性】
技术研发人员：沈昌祥，刘威鹏，胡俊，张兴，
申请(专利权)人：中国科学院研究生院，
类型：发明
国别省市：11[中国|北京]
还没有人留言评论。发表了对其他浏览者有用的留言会获得科技券。