Team automata for spatial access control

  • Authors:

  • Maurice H. ter Beek;Clarence A. Ellis;Jetty Kleijn;Grzegorz Rozenberg

  • Affiliations:

  • LIACS, Universiteit Leiden, The Netherlands;Department of Computer Science, University of Colorado;LIACS, Universiteit Leiden, The Netherlands;LIACS, Universiteit Leiden, The Netherlands and Department of Computer Science, University of Colorado

  • Venue:
  • ECSCW'01 Proceedings of the seventh conference on European Conference on Computer Supported Cooperative Work
  • Year:
  • 2001

Quantified Score

Hi-index 0.00

Visualization

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 describe 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, various known access control strategies are given a rigorous formal description in terms of synchronizations in team automata.