@inproceedings{5e34464eaad7469d9b12ddd5bbe70a68,
title = "Reasoning about security: A logic and a decision method for role-based access control",
abstract = "{\textcopyright} Springer-Verlag Berlin Heidelberg 1997.Role-based access control (RBAC) is one of the most promising techniques for the design and implementation of security policies and its diffusion may be enhanced by the development of formal and automated method of analysis. This paper presents a logic for practical reasoning about role based access control which simplifies and adapts to RBAC the calculus developed at Digital SRC. Beside a language and a formal semantics, a decision method based on analytic tableaux is also given. Analytic tableaux make it possible to reason about logical consequence, model generation and consistency of a formalised role-based security policy.",
author = "F. Massacci",
year = "1997",
doi = "10.1007/bfb0035639",
language = "English",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "421--435",
editor = "R. Kruse and A. Nonnengart",
booktitle = "Qualitative and Quantitative Practical Reasoning - 1st International Joint Conference on Qualitative and Quantitative Practical Reasoning, ECSQARU-FAPR 1997, Proceedings",
note = "1st International Joint Conference on Qualitative and Quantitative Practical Reasoning, ECSQARU-FAPR 1997 ; Conference date: 09-06-1997 Through 12-06-1997",
}