以﹁p→（q∧r）为一个前提，如果要必然地推出p∧s，则可增加的另一个前提是（）。

A.s

B.﹁q

C.﹁q∧s

D.﹁r∧s

E.（﹁q∨﹁r）∧s

下列说法满足信息系统安全官关于安全控制有效性的目标（）。

A.基于风险分析的结果构成完整的控制需求

B.控制已经被测试

C.给予风险分析的结构构成安全控制的详细要求

D.控制可重现地被测试