Tableaux methods for access control in distributed systems

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review


© 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).
Original languageEnglish
Title of host publicationAutomated Reasoning with Analytic Tableaux and Related Methods - International Conference, TABLEAUX 1997, Proceedings
EditorsD. Galmiche
PublisherSpringer Verlag
Publication statusPublished - 1997
Externally publishedYes
EventInternational Conference on Analytic Tableaux and Related Methods, TABLEAUX 1997 - Pont-a-Mousson, France
Duration: 13 May 199716 May 1997

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349


ConferenceInternational Conference on Analytic Tableaux and Related Methods, TABLEAUX 1997


Dive into the research topics of 'Tableaux methods for access control in distributed systems'. Together they form a unique fingerprint.

Cite this