Authodox
From Erights
(Difference between revisions)
Line 2: | Line 2: | ||
[[Category:Applications]] | [[Category:Applications]] | ||
+ | [[Category:Formal Reasoning]] |
Revision as of 00:02, 31 October 2007
Authodox is used to automatically detect excess authority in systems of interacting objects.