Title of talk: Team Automata for Spatial Access Control

Abstract

We explain the team automata model in the context of spatial access control. This demonstrates the model usage and utility for capturing information security and protection structures, and critical coordinations between these structures. The model suggests new access control features and mechanisms which are currently unavailable in today's prevalent systems.