Model Validation

CAIRIS has the ability to validate models for a given environment based on potential security and privacy design problems.

To validate a current CAIRIS model, click on the Models/Validate menu and select the environment to check the CAIRIS model for.

Model Validation results

Security design checks

The security design checks currently supported are as follows:

Check Description
Composition/Aggregation Integrity For Hardware/Software/Information assets, checks head asset integrity isn’t lower than the tail asset.
New risk contexts Risks present in environments that haven’t been accounted for.
Uncovered exception Exception present in use case without a related obstacle.

Privacy design checks

If personal data has been introduced then the CAIRIS model is checked to ensure it doesn’t violate any General Data Protection Regulation (GDPR) principles. The checks carried out are described below:

GDPR Principle Check Description
Lawfulness, Fairness, and Transparency Fair data processing Data with privacy properties is processed only if it’s recognised as personal data.
Lawfulness, Fairness, and Transparency Lawful data handling A persona working with a task or use case involving personal data is a Data Processor, Data Controller, or Data Subject.
Lawfulness, Fairness, and Transparency Necessary processing Use cases involving personal data are associated with a necessary goal or requirement.
Purpose Limitation Data purpose Use cases involving personal data are associated with a necessary goal concerned with that personal data.
Data Minimisation Private data processing Data with privacy properties are accounted for in processes.
Accuracy Personal data integrity Personal data has an Integrity security property.
Storage Limitation Unprocessed personal data Personal data in data stores is processed.
Integrity & Confidentiality Unmitigated privacy risks Personal information has confidentiality, integrity, and privacy properties that threats target are not exposed to unmitigated risks.