Dynamic Root of Trust in Trusted Computing Cong Nie Helsinki University of Technology

First Page		Document Content
Date: 2008-01-03 05:01:33 Trusted Execution Technology Trusted computing base Trusted Computer System Evaluation Criteria TCB Microkernel Operating system Secure environment Next-Generation Secure Computing Base Computer security Trusted computing Trusted Platform Module		Dynamic Root of Trust in Trusted Computing Cong Nie Helsinki University of Technology Add to Reading List Source URL: www.tml.tkk.fi Download Document from Source Website File Size: 52,48 KB Share Document on Facebook

	Towards Verified C specification for TPM API Aybek Mukhamedov, Andy Gordon and Mark Ryan Trusted Platform Module DocID: 1uVol - View Document
	Towards a Verified Reference Implementation of a Trusted Platform Module Aybek Mukhamedov1,2 , Andrew D. Gordon1 , and Mark Ryan2 1 2 DocID: 1uKjY - View Document
	Trusted Platform Module (TPM) Element Manager DocID: 1sxEG - View Document
	Secure Embedded Systems Michael Vai, David J. Whelihan, Benjamin R. Nahill, Daniil M. Utin, Sean R. O’Melia, and Roger I. Khazan Developers seek to seamlessly integrate cyber DocID: 1qIlJ - View Document
	ETTM: A Scalable Fault Tolerant Network Manager Colin Dixon Hardeep Uppal Vjekoslav Brajkovic Dane Brandon Thomas Anderson Arvind Krishnamurthy University of Washington Abstract In this paper, we design, implement, and e DocID: 1qxEz - View Document