<a href="http://cs-tr.cs.cornell.edu:80/TR/CORNELLCS:TR93-1354">A Security Architecture for Fault-Tolerant Systems</a>. <li>
