loading
Papers Papers/2022 Papers Papers/2022

Research.Publish.Connect.

Paper

Paper Unlock

Authors: Marius Schlegel and Winfried E. Kühnhauser

Affiliation: Technische Universität Ilmenau, Germany

Keyword(s): Security Engineering, Security Policies, Access Control, Access Control Models, Heuristic Safety Analysis, Security Model Checking, Formal Methods.

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.

CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 44.222.129.73

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
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 - SECRYPT; ISBN 978-989-758-446-6; ISSN 2184-7711, SciTePress, pages 522-532. DOI: 10.5220/0009907705220532

@conference{secrypt20,
author={Marius Schlegel. and Winfried E. 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 - SECRYPT},
year={2020},
pages={522-532},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0009907705220532},
isbn={978-989-758-446-6},
issn={2184-7711},
}

TY - CONF

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