http://wiki.erights.org/mediawiki/index.php?title=Authodox&feed=atom&action=historyAuthodox - Revision history2024-03-19T08:08:00ZRevision history for this page on the wikiMediaWiki 1.15.5-7http://wiki.erights.org/mediawiki/index.php?title=Authodox&diff=1608&oldid=prevToby.murray at 23:40, 26 April 20112011-04-26T23:40:55Z<p></p>
<p><b>New page</b></p><div>[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].<br />
<br />
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].<br />
<br />
[[Category:Applications]]<br />
[[Category:Formal Reasoning]]</div>Toby.murrayhttp://wiki.erights.org/mediawiki/index.php?title=Authodox&diff=3355&oldid=prevMarkm at 00:27, 31 October 20072007-10-31T00:27:06Z<p></p>
<table style="background-color: white; color:black;">
<col class='diff-marker' />
<col class='diff-content' />
<col class='diff-marker' />
<col class='diff-content' />
<tr valign='top'>
<td colspan='2' style="background-color: white; color:black;">←Older revision</td>
<td colspan='2' style="background-color: white; color:black;">Revision as of 00:27, 31 October 2007</td>
</tr>
<tr><td colspan="2" class="diff-lineno">Line 1:</td>
<td colspan="2" class="diff-lineno">Line 1:</td></tr>
<tr><td class='diff-marker'>-</td><td style="background: #ffa; color:black; font-size: smaller;"><div>[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.</div></td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div>[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<ins class="diffchange diffchange-inline">. It is based on [http://web.comlab.ox.ac.uk/oucl/work/toby.murray/papers/AALPE.pdf Authority Analysis for Least Privilege Environments]</ins>.</div></td></tr>
<tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"></td></tr>
<tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>[[Category:Applications]]</div></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>[[Category:Applications]]</div></td></tr>
<tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>[[Category:Formal Reasoning]]</div></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>[[Category:Formal Reasoning]]</div></td></tr>
<!-- diff generator: internal 2024-03-19 08:08:00 -->
</table>Markmhttp://wiki.erights.org/mediawiki/index.php?title=Authodox&diff=3354&oldid=prevMarkm at 00:02, 31 October 20072007-10-31T00:02:02Z<p></p>
<table style="background-color: white; color:black;">
<col class='diff-marker' />
<col class='diff-content' />
<col class='diff-marker' />
<col class='diff-content' />
<tr valign='top'>
<td colspan='2' style="background-color: white; color:black;">←Older revision</td>
<td colspan='2' style="background-color: white; color:black;">Revision as of 00:02, 31 October 2007</td>
</tr>
<tr><td colspan="2" class="diff-lineno">Line 2:</td>
<td colspan="2" class="diff-lineno">Line 2:</td></tr>
<tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"></td></tr>
<tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>[[Category:Applications]]</div></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>[[Category:Applications]]</div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins style="color: red; font-weight: bold; text-decoration: none;">[[Category:Formal Reasoning]]</ins></div></td></tr>
<!-- diff generator: internal 2024-03-19 08:08:00 -->
</table>Markmhttp://wiki.erights.org/mediawiki/index.php?title=Authodox&diff=3353&oldid=prevMarkm at 00:00, 31 October 20072007-10-31T00:00:36Z<p></p>
<table style="background-color: white; color:black;">
<col class='diff-marker' />
<col class='diff-content' />
<col class='diff-marker' />
<col class='diff-content' />
<tr valign='top'>
<td colspan='2' style="background-color: white; color:black;">←Older revision</td>
<td colspan='2' style="background-color: white; color:black;">Revision as of 00:00, 31 October 2007</td>
</tr>
<tr><td colspan="2" class="diff-lineno">Line 1:</td>
<td colspan="2" class="diff-lineno">Line 1:</td></tr>
<tr><td class='diff-marker'>-</td><td style="background: #ffa; color:black; font-size: smaller;"><div>[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<del class="diffchange diffchange-inline">, 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].</del></div></td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div>[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.</div></td></tr>
<tr><td class='diff-marker'>-</td><td style="background: #ffa; color:black; font-size: smaller;"><div> </div></td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div></div></td></tr>
<tr><td class='diff-marker'>-</td><td style="background: #ffa; color:black; font-size: smaller;"><div><del class="diffchange diffchange-inline">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]</del>.</div></td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div></div></td></tr>
<tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"></td></tr>
<tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>[[Category:Applications]]</div></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>[[Category:Applications]]</div></td></tr>
<tr><td class='diff-marker'>-</td><td style="background: #ffa; color:black; font-size: smaller;"><div><del style="color: red; font-weight: bold; text-decoration: none;">[[Category:Formal Reasoning]]</del></div></td><td colspan="2"> </td></tr>
<!-- diff generator: internal 2024-03-19 08:08:00 -->
</table>Markm