基于有色Petri网的SELinux安全策略分析中期报告

基于有色Petri网的SELinux安全策略分析中期报告一、研究背景SELinux（Security-Enhanced Linux）是一个实现了强制访问控制（MAC）机制的Linux安全子系统。它提供