Current researches on correctness verification for the mandatory access control framework of operating systems mainly focus on authorization hooks placement verification.
现阶段对操作系统的强制访问控制框架的正确性验证的研究主要集中于对授权钩子放置的验证。
Current researches on correctness verification for the mandatory access control framework of operating systems mainly focus on authorization hooks placement verification.
现阶段对操作系统的强制访问控制框架的正确性验证的研究主要集中于对授权钩子放置的验证。
应用推荐