Anja Fischer, Winfried E. Kühnhauser. Efficient Algorithmic Safety Analysis of HRU Security Models. In Sokratis K. Katsikas, Pierangela Samarati, editors, SECRYPT 2010 - Proceedings of the International Conference on Security and Cryptography, Athens, Greece, July 26-28, 2010, SECRYPT is part of ICETE - The International Joint Conference on e-Business and Telecommunications. pages 49-58, SciTePress, 2010.
Abstract is missing.