Exploiting Hot Spots in Heuristic Safety Analysis of Dynamic Access Control Models

Marius Schlegel, Winfried Kühnhauser

2020

Abstract

Model-based security engineering approaches frequently suffer from computational complexity of model analysis. As a consequence, a considerable amount of human expertise is involved in the analysis process, rendering model analysis an expensive approach applied mostly to sophisticated systems with challenging security requirements. This paper discusses algorithmic foundations for an automated safety analysis of large access control models. The computational complexity is tackled by a heuristic-based approach, rendering the analysis algorithm scalable to large real-world access control systems.

Paper Citation

in Harvard Style

Schlegel M. and Kühnhauser W. (2020). Exploiting Hot Spots in Heuristic Safety Analysis of Dynamic Access Control Models.In Proceedings of the 17th International Joint Conference on e-Business and Telecommunications - Volume 3: SECRYPT, ISBN 978-989-758-446-6, pages 522-532. DOI: 10.5220/0009907705220532

in Bibtex Style

@conference{secrypt20,
author={Marius Schlegel and Winfried Kühnhauser},
title={Exploiting Hot Spots in Heuristic Safety Analysis of Dynamic Access Control Models},
booktitle={Proceedings of the 17th International Joint Conference on e-Business and Telecommunications - Volume 3: SECRYPT,},
year={2020},
pages={522-532},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0009907705220532},
isbn={978-989-758-446-6},
}

in EndNote Style

TY - CONF

JO - Proceedings of the 17th International Joint Conference on e-Business and Telecommunications - Volume 3: SECRYPT,
TI - Exploiting Hot Spots in Heuristic Safety Analysis of Dynamic Access Control Models
SN - 978-989-758-446-6
AU - Schlegel M.
AU - Kühnhauser W.
PY - 2020
SP - 522
EP - 532
DO - 10.5220/0009907705220532