Text Document

Team automata for spatial access control

Fulltext URI

Document type

Text

Files

00155.pdf (1.29 MB)

Additional Information

Date

2001

Authors

Journal Title

Journal ISSN

Volume Title

Source

ECSCW 2001: Proceedings of the Seventh European Conference on Computer Supported Cooperative Work
Full Papers

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

ter Beek, Maurice H.; Ellis, Clarence A.; Kleijn, Jetty; Rozenberg, Grzegorz (2001): Team automata for spatial access control. ECSCW 2001: Proceedings of the Seventh European Conference on Computer Supported Cooperative Work. DOI: 10.1007/0-306-48019-4. Kluwer Academic Publishers, Dordrecht, The Netherlands. ISBN: 978-0-306-48019-5. pp. 59-77. Full Papers. Bonn, Germany. 2001-09-16

Keywords

Citation

DOI

10.1007/0-306-48019-4

Tags

Collections

ECSCW 2001: Proceedings of the Seventh European Conference on Computer Supported Cooperative Work