Sciweavers

FMCO
2007
Springer
124views Formal Methods» more  FMCO 2007»
14 years 3 months ago
Certification Using the Mobius Base Logic
This paper describes a core component of Mobius' Trusted Code Base, the Mobius base logic. This program logic facilitates the transmission of certificates that are generated u...
Lennart Beringer, Martin Hofmann, Mariela Pavlova