基于Windows CE强制访问控制技术的研究与实现

摘要

本文研究了强制访问控制(MAC)技术并给出其形式化的描述;分析了微软公司的嵌入式操作系统WindowsCE,并指出其在访问控制方面的不足;设计实现了一个强制访问控制原型,并验证了该模型的有效性。