Authodox

From Erights

(Difference between revisions)
Jump to: navigation, search
 
(2 intermediate revisions not shown)
Line 1: Line 1:
-
[http://web.comlab.ox.ac.uk/oucl/work/toby.murray/tools/authodox/ Authodox] is used to automatically detect excess authority in systems of interacting objects. It is based on [http://web.comlab.ox.ac.uk/oucl/work/toby.murray/papers/AALPE.pdf Authority Analysis for Least Privilege Environments].
+
[http://web.comlab.ox.ac.uk/oucl/work/toby.murray/tools/authodox/ Authodox] is used to automatically detect excess authority in systems of interacting objects, by modelling them in CSP and applying the FDR automatic refinement-checker. It was originally based on [http://web.comlab.ox.ac.uk/oucl/work/toby.murray/papers/AALPE.pdf Authority Analysis for Least Privilege Environments] and [http://www.comlab.ox.ac.uk/files/2690/AOCS.pdf Analysing Object-Capability Security].
 +
 
 +
Authodox is no longer supported. Some of the ideas embodied in its most recent release (Version 0.2, May 19, 2008) have been superseded by work that followed that release. The best reference on using CSP to model and reason about authority and object-capability systems, in particular, is Toby Murray's D.Phil. thesis, [http://ertos.nicta.com.au/publications/papers/Murray:phd.abstract?bib=login Analysing the Security Properties of Object-Capability Patterns].
[[Category:Applications]]
[[Category:Applications]]
[[Category:Formal Reasoning]]
[[Category:Formal Reasoning]]

Latest revision as of 23:40, 26 April 2011

Authodox is used to automatically detect excess authority in systems of interacting objects, by modelling them in CSP and applying the FDR automatic refinement-checker. It was originally based on Authority Analysis for Least Privilege Environments and Analysing Object-Capability Security.

Authodox is no longer supported. Some of the ideas embodied in its most recent release (Version 0.2, May 19, 2008) have been superseded by work that followed that release. The best reference on using CSP to model and reason about authority and object-capability systems, in particular, is Toby Murray's D.Phil. thesis, Analysing the Security Properties of Object-Capability Patterns.

Personal tools
more tools