NOTE: The current
version (0.2) of Authodox
has been superseded by more recent work and is therefore out-of-date.
In particular, I've stopped using it in my own D.Phil. research. I've
work on a new version of Authodox, now written in Haskell, that will
feature a graphical system editor and improved checking of causation
properties. It might also include an object-capability kernel language for
specifying object behaviours, to be translated into CSP for automatic
verification using FDR. This version is being written concurrently to my
D.Phil. thesis. I hope it will emerge later this year.
--- August 2009
Authodox is an experimental
application for modelling and reasoning about
authority in systems of interacting agents,
objects. One of its primary uses
is to detect insecurity in the form of
Authodox uses the CSP process algebra and its automatic model checker,
FDR, to accomplish this.
Download - Version 0.2.0, May 19 2008
View Online -- in particular, see
Getting Started for
installation and usage instructions. Also see the introductory
tutorial for a tour
of the main features of Authodox and how to use them.
The Authodox documentation can also be viewed from within the application
by selecting the "Contents" option from the "Help" menu.
Please send me bug
reports, comments and general feedback.