A Logic of Secure Systems and its Application to Trusted Computing Anupam Datta Jason Franklin Deepak Garg - Trusted Execution Technology - Document - PDFSEARCH.IO

First Page	Meta Content
	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

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