Università di Pisa
Sistema bibliotecario di ateneo

Nominal models and resource usage control

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.

[img] Other (GZip)
Available under License Creative Commons Attribution No Derivatives.

Download (588Kb)


    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