Login / Signup
Efficient Algorithmic Safety Analysis of HRU Security Models.
Anja Fischer
Winfried E. Kühnhauser
Published in:
SECRYPT (2010)
Keyphrases
</>
safety analysis
decision problems