News‎ > ‎

Seminar: Nominal Automata for Resource Usage Control

posted May 28, 2012, 1:45 AM by Massimo Bartoletti   [ updated May 28, 2012, 1:45 AM ]
Upcoming Seminar

Nominal Automata for Resource Usage Control

May 29th, 12.00
Aula F, Palazzo delle Scienze - Cagliari

Pierpaolo Degano
Dipartimento di Informatica - Università di Pisa


Abstract.
Two classes of nominal automata, namely Usage Automata (UAs) and Variable Finite Automata (VFAs) are considered to express resource control policies
over program execution traces expressed by a nominal calculus (Usages).

We first discuss some closure properties of UAs, and then show UAs less
expressive than VFAs.

We finally carry over to VFAs the symbolic technique for model checking
Usages against UAs, so making it possible to verify the compliance of a program with a larger class of security properties.

Comments