Authodox

From Erights

(Difference between revisions)
Jump to: navigation, search
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.
+
[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].
[[Category:Applications]]
[[Category:Applications]]
[[Category:Formal Reasoning]]
[[Category:Formal Reasoning]]

Revision as of 00:27, 31 October 2007

Authodox is used to automatically detect excess authority in systems of interacting objects. It is based on Authority Analysis for Least Privilege Environments.

Personal tools
more tools