Degano, Pierpaolo and Mezzetti, Gianluca and Ferrari, Gianluigi (2011) Nominal models and resource usage control. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.
![]() | Other (GZip) Available under License Creative Commons Attribution No Derivatives. Download (588Kb) |
Official URL: http://compass2.di.unipi.it/TR/Files/TR-11-09.pdf....
Abstract
Two classes of nominal automata, namely Usage Automata (UAs) and <br />Variable Finite Automata (VFAs) are considered to express resource con- <br />trol policies over program execution traces expressed by a nominal calcu- <br />lus (Usages). We ?rst analyse closure properties of UAs, and then show <br />UAs less expressive than VFAs. We ?nally carry over VFAs the symbolic <br />technique for model checking Usages against UAs, so making it possi- <br />ble to verify the compliance of a program with a larger class of security <br />properties.
Item Type: | Book |
---|---|
Uncontrolled Keywords: | Nominal models, Usage automata, Variable Finite Automata, Model checking |
Subjects: | Area01 - Scienze matematiche e informatiche > INF/01 - Informatica |
Divisions: | Dipartimenti (until 2012) > DIPARTIMENTO DI INFORMATICA |
Depositing User: | dott.ssa Sandra Faita |
Date Deposited: | 03 Dec 2014 18:23 |
Last Modified: | 03 Dec 2014 18:23 |
URI: | http://eprints.adm.unipi.it/id/eprint/2275 |
Repository staff only actions
View Item |