@inproceedings{ed60a0af2fc6495f88663201279c829c,
title = "Tableaux methods for access control in distributed systems",
abstract = "{\textcopyright} Springer-Verlag Berlin Heidelberg 1997.The aim of access control is to limit what users of distributed systems can do directly or through their programs. As the size of the systems and the sensitivity of data increase formal methods of analysis are often required. This paper presents a prefixed tableaux method for the calculus of access control in distributed system developed at DEC-SRC by Abadi, Lampson et. al. Beside the applicative interest, the calculus poses interesting technical challenges, since it has not the tree-model property, introduces relations between modalities which cannot be compiled into axiom schemas, and has some features of the universal modality. As a side-effect we show a tableaux calculus for the universal modality which distinguishes it from S5 (via satisfiability on non tree-models).",
author = "F. Massacci",
year = "1997",
doi = "10.1007/BFb0027418",
language = "English",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "246--260",
editor = "D. Galmiche",
booktitle = "Automated Reasoning with Analytic Tableaux and Related Methods - International Conference, TABLEAUX 1997, Proceedings",
note = "International Conference on Analytic Tableaux and Related Methods, TABLEAUX 1997 ; Conference date: 13-05-1997 Through 16-05-1997",
}