Bartoletti, Massimo and Zunino, Roberto (2008) LocUsT: a tool for checking usage policies. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.
![[img]](http://eprints.adm.unipi.it/style/images/fileicons/other.png) | Other (GZip) Available under License Creative Commons Attribution No Derivatives. Download (98Kb) |
Abstract
We introduce LocUsT, a tool to statically check whether a given resource usage complies with a local policy. LocUsT takes as input an abstraction of the behaviour of a program, called a usage. Usages are expressed in a simple process calculus, and over-approximate all the resource accesses of the program itself. As additional input, LocUsT takes a policy that defines the allowed resource access patterns, represented through a finite state automaton parametrized over resources. Finally, LocUsT decides whether some trace of the given usage violates some instantiation of the policy.
| Item Type: | Book |
|---|---|
| Uncontrolled Keywords: | model checking, formal methods, security, static analysis |
| Subjects: | Area01 - Scienze matematiche e informatiche > INF/01 - Informatica |
| Divisions: | Dipartimenti (until 2012) > DIPARTIMENTO DI INFORMATICA |
| Depositing User: | dott.ssa Sandra Faita |
| Date Deposited: | 04 Dec 2014 14:09 |
| Last Modified: | 04 Dec 2014 14:09 |
| URI: | http://eprints.adm.unipi.it/id/eprint/2200 |
Repository staff only actions
| View Item |
