一个灵活的操作系统安全框架FMAC.pdfVIP

一个灵活的操作系统安全框架FMAC+) 易晓东杨学军 (国防科大计算机学院 长沙410078) 摘要 -3前．操作系统的安全需求越来越多样、灵活和具体，它们往往只描述系统中一小部分宴体之间的约束，但对 安全策略的灵活性及定制的简洁性有较高的要求。传统的安垒框架．如FLASK等，难于)蔫足此类“轻量级”的安全需 求。本文提出的FMAC框架专门面向此类安垒需求，它定义了基于标记迁移系统1』Ts的安奎策略模型，魁规范和简 作系统中的实现，通过层次式的客体组织与基于角色的主体组织，普通用户可以方便快捷地定制出；蔺足要求的轻量级 安全荒略。 关键词FMAC，操作系统安奎，安垒策略模型，强制访问控制框架 FIVlAC：AFlexible FrameworkforSecureOS Security YI YANG XiacrDongXuc-Jun of UnivofDefense 410073) CollieGomputer，Natioital Technology，Changsha Abstract ofcurrent becomemoreandmorediverse，flexibleandconcrete． The system securityrequirementsoperatiug of ofthe tobe theconstraintsalittleset entities expect implemented onlyspecify amonN system，but Usually，they can’tbesatisfiedwellintrMitmmlframe and security quicklyexpediently．These“lightweight”securityrequirements named like thisls FMACis FMACmodellsmadeoftwosub-models workF1。ASKand why presented．The up object basedon transition and alsodefinesa model labeled system managersecuritypolicymanager．FMAC securitypolicy andfacilitatethe customization．Howto FMACinUnix_class (LTS)inordertostandardize policy implement operating withthehierarchicalstructureof isalsodi