An Approach to Automated Verification of Multi-Level Security System Models.

Andrzej Stasiak, Zbigniew Zielinski

Browse the full DEPCoS paper archive.