Distributed Authentication and Authorization: Models, Calculi, Methods

This project addresses problems and opportunities related to access control in distributed systems. It aims to further the design and analysis of models and mechanisms for authentication and authorization. In particular, it investigates the design and analysis of protocols for authentication and related purposes. It also investigates fine-grained authorization in extensible software systems and for transactions that work on several objects. Although the focus of the project is on authentication and authorization, the project also considers multilateral concerns for security, such as the balance between privacy and authenticity, and fairness requirements in transactions.