Back to Results
First PageMeta Content
Computer security / Computing / Trusted computing / Cryptography / Trusted Execution Technology / X86 architecture / Trusted Platform Module / Monitor / Futures and promises / Trusted computing base / Polymerase chain reaction / Thread


A Logic of Secure Systems and its Application to Trusted Computing Anupam Datta Jason Franklin Deepak Garg
Add to Reading List

Document Date: 2009-06-02 14:26:22


Open Document

File Size: 340,25 KB

Share Result on Facebook
UPDATE