Enforcement of State Dependent Security Specifications.

Joachim Biskup, Christian Eckert

Browse the full DBSEC paper archive.