单项选择题

A.评价自动数据处理系统产品中内置的安全控制的有效性的基础
B.系统分析和渗透技术分析了规范和系统的文档
C.描述一组访问控制规则的计算机安全策略的一个正式的静态转换模型
D.限制访问对象基于学科和他们所属的组的身份的一种手段