Модель Кларка – Вилсона

МОДЕЛЬ ЦЕЛОСТНОСТИ
Дэвид Кларк и Дэвид Уилсон показали модель целостности в 1987 году. Модель целостности являет собой инструкцию для проектировщиков и разработчиков компьютерных систем по реализации целостности определенных вычислительных ресурсов.

ПРИНЦИПЫ МОДЕЛИ
внутренняя целостность - свойства внутреннего состояния системы, достигаемые посредством «Правильных соглашений»;
внешняя целостность - взаимодействие внутреннего состояния системы с внешнем миром, реализуемая посредством «Разделение обязанностей».

МОДЕЛЬ КЛАРКА – ВИЛСОНА
Модель Кларка – Вилсона представляет собой список правил работы и обслуживания компьютерного приложения или окружения. Она выражается в понятиях конечного множества. D — наборы данных в определенной компьютерной системе. Различают информацию, которая имеет и не имеет целостность. Модель разделяет D на два непересекающихся подмножеств: ограниченных элементов данных (CDI) и неограниченных элементов данных (UDI).
D = CDI ∪ UDI
CDI ∩ UDI = 0

ПРАВИЛА МОДЕЛИ
Правило 1. В системе должна быть процедура принятия целостности, которая утверждает целостность любого CDI. Пример — контрольная сумма
Правило 2. Реализация любой процедуры изменения к любому CDI должно беречь целостность этого CDI
Правило 3. Только процедура изменения может вносить изменения в CDI. Правило не разрешает субъектам с низкой целостностью не используя процедуру изменения, изменять объекты с большой целостностью
Правило 4. Субъекты могут реализовывать только определенные процедуры изменения над некоторыми CDI. Система должна поддерживать определенные отношение между субъектами процедуры изменения и CDI — МКВ тройки. Каждая тройка определяет возможность данного субъекта реализовать данную процедуру изменения к данному CDI