Authodox
From Erights
(Difference between revisions)
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.