单项选择题

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