Efficient Heuristic Safety Analysis of Core-based Security Policies.

Peter Amthor

Browse the full SECRYPT paper archive.