Efficient Algorithmic Safety Analysis of HRU Security Models.

Anja Fischer, Winfried E. Khnhauser

Browse the full SECRYPT paper archive.