Towards Verified C specification for TPM API Aybek Mukhamedov, Andy Gordon and Mark Ryan Trusted Platform Module - Trusted Platform Module - Document - PDFSEARCH.IO

First Page	Meta Content
	Towards Verified C specification for TPM API Aybek Mukhamedov, Andy Gordon and Mark Ryan Trusted Platform Module Add to Reading List Document Date: 2010-03-26 11:31:43 Open Document File Size: 1,07 MB Share Result on Facebook

Towards Verified C specification for TPM API Aybek Mukhamedov, Andy Gordon and Mark Ryan Trusted Platform ModuleAdd to Reading List