下列对访问控制的说法正确的是：

A、 访问控制模型是对一系列访问控制规则集合的描述，必须是形式化的
B、 一般访问控制过程由：主题、客体、访问控制决策和访问控制实施四部分组成
C、 访问控制模型是对一系列安全策略的描述，都是非形式化的
D、 在访问控制过程中，主题提交的访问请求由访问控制决策不见实施访问