Team automata for spatial access control
Loading...
Fulltext URI
Document type
Text
Files
Additional Information
Date
Journal Title
Journal ISSN
Volume Title
Publisher
Kluwer Academic Publishers, Dordrecht, The Netherlands
Abstract
Team automata provide a framework for capturing notions like coordination, collaboration, and cooperation in distributed systems. They consist of an abstract specification of components of a system and allow one to desribe different interconnection mechanisms based upon the concept of "shared actions". This document considers access control mechanisms in the context of the team automata model. It demonstrates the model usage and utility for capturing information security and protection structures, and critical coordinations between these structures. On the basis of a spatial access metaphor, varous known access control strategies are given a rigorous formal description in terms of synchronizations in a team automata.
Description
Keywords
Citation
URI
URI
Endorsement
Review
Supplemented By
Referenced By
Load citations
Please note: Providing information about citations is only possible thanks to to the open metadata APIs provided by crossref.org and opencitations.net. These lists may be incomplete due to unavailable citation data.