单项选择题

哪个模型通过格式化交易和职责分离以实现数据完整性?()

A.Clark‐Wilson模型
B.Biba模型
C.非干扰模型
D.Sutherland模型