论文部分内容阅读
针对SELinux策略配置存在的不安全访问控制授权，提出了基于信息流分析的权限控制方法。该方法针对系统安全目标对策略配置进行信息流分析，确定了目标程序和不安全的访问授权。再通过目标程序上的静态信息流分析，定住可能使用不安全访问授权的程序点。根据这两者的分析结果，完成程序安全状态的划分，并制定出状态转换条件。在时间和空间上对程序的访问权限实施了细化的控制，保证安全的同时最小化对程序功能的影响。