单项选择题

A.授权。
B.多人共用同一帐号。
C.审计机制。
D.系统设计的形式化验证