Your System Is Secure? Prove It!

Gernot Heiser. Your System Is Secure? Prove It!. ;login:, 32(6), 2007. [doi]

Abstract

Abstract is missing.