Title of talk: Team Automata for Spatial Access Control

Abstract

Team automata provide a flexible framework for modelling numerous types of collaboration between system components as synchronizations of shared actions. This talk considers access control mechanisms in the context of team automata. This 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.