"Trusting Trusted Hardware: Towards a Formal Model for Programmable Secure ..."

Sean W. Smith, Vernon Austel (1998)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics