A specification language for information security policies

On an information system, a security policy specifies constraints on resources accessed by processes and information flow among them, and also constraints on...