A Methodology and Toolkit for Deploying Reliable Security Policies in Critical Infrastructures

Box 7

ALTER TABLE MEDICALRECORD ADD (CHECK (VALID = 0 OR VALID = 1));