Chapter PDF
Keywords
- Validation Process
- Finite State Machine
- Physical Security
- Formal Mathematical Model
- Federal Information Process Standard
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
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)