Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
8.7 Further Reading
S.W. Smith and V. Austel. Trusting Trusted Hardware: Towards a Formal Model for Programmable Secure Coprocessors. In Proceedings of the 3rd USENIX Workshop on Electronic Commerce, August 1998.
S. W. Smith, R. Perez, S.H. Weingart, and V. Austel. Validating a High-Performance, Programmable Secure Coprocessor. In 22nd National Information Systems Security Conference, October 1999.
Rights and permissions
Copyright information
© 2005 Springer Science + Business Media, Inc.
About this chapter
Cite this chapter
(2005). Validation. In: Trusted Computing Platforms: Design and Applications. Springer, Boston, MA. https://doi.org/10.1007/0-387-23917-0_8
Download citation
DOI: https://doi.org/10.1007/0-387-23917-0_8
Publisher Name: Springer, Boston, MA
Print ISBN: 978-0-387-23916-3
Online ISBN: 978-0-387-23917-0
eBook Packages: Computer ScienceComputer Science (R0)