Title :
It´s Time for Trustworthy Systems
Author :
Heiser, Gernot ; Murray, Toby ; Klein, Gerwin
Abstract :
The time for truly trustworthy systems, backed by machine checked formal proof and analysis, has arrived. Over the past few decades, advances in formal verification and analysis technologies mean that these tools can now scale sufficiently to cover the entire software trusted computing base of appropriately designed real world systems.
Keywords :
formal verification; security of data; trusted computing; analysis technology; formal analysis; formal verification; machine checked formal proof; software trusted computing base; trustworthy system; Computer Security; Hardware; Reliability; Safety; authority confinement; computer security; confidentiality; functional correctness; integrity; noninterference; safety; seL4 microkernel; security; trustworthy systems; verification and analysis; worst-case execution time;
Journal_Title :
Security & Privacy, IEEE
DOI :
10.1109/MSP.2012.41
