By reason and authority: A system for authorization of proof-carrying code (2004)

Cached

Download Links

by Nathan Whitehead
Venue:In Proceedings of the 17th IEEE Computer Security Foundations Workshop
Citations:13 - 6 self