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.
@inproceedings{FischerK10,
title = {Efficient Algorithmic Safety Analysis of HRU Security Models},
author = {Anja Fischer and Winfried E. Kühnhauser},
year = {2010},
tags = {analysis, security, e-science},
researchr = {https://researchr.org/publication/FischerK10},
cites = {0},
citedby = {0},
pages = {49-58},
booktitle = {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},
editor = {Sokratis K. Katsikas and Pierangela Samarati},
publisher = {SciTePress},
isbn = {978-989-8425-18-8},
}