Beyond Proof-of-Compliance: Safety and Availability Analysis in Trust Management.

Ninghui Li, William H. Winsborough, John C. Mitchell

Browse the full SP paper archive.