下面四个命题中正确的是（　　）

A．“直线a、b不相交”是“直线a、b为异面直线”的充分非必要条件

B．“l⊥平面α”是“直线l垂直于平面α内无数条直线”的充要条件

C．“a垂直于b在平面α内的射影”是“直线a⊥b”的充分非必要条件

D．“直线a平行于平面β内的一条直线”是“直线a∥平面β”的必要非充分条件

BIBA模型基于两种规则来保障数据的完整性的保密性，分别是：（）

A.上读，主体不可读安全级别高于它的数据；下写，主体不可写安全级别低于它的数据

B.下读，主体不可读安全级别高于它的数据；上写，主体不可写安全级别低于它的数据

C.上读，主体不可读安全级别低于它的数据；下写，主体不可写安全级别高于它的数据

D.下读，主体不可读安全级别低于它的数据；上写，主体不可写安全级别高于它的数据