LocUsT

LocUsT is a tool for checking resource usages against local policies. Resource usages are expressed in a simple process algebra, annotated with local policies. Policies are parametrized finite state automata, defining the policies which must hold for every resource. The theory underlying the LocUsT tool has been made available as a technical report, as well as a short guide to the tool.

• LocUsT-0.1.0.tar.bz2 source code (OpenPGP sig)

The archive above includes some examples. LocUsT is released under the GNU General Public License, version 3.

LocUsT is written in Haskell. The Glasgow Haskell Compiler version 6.8 (or higher compatible) is required to build LocUsT.

References

• The technical report providing a guide to LocUsT.
• The technical report providing the underlying theory.

Home

Roberto Zunino, 2011