Trusting Trusted Hardware: Towards a Formal Model for Programmable Secure Coprocessors.
Sean W. SmithVernon AustelPublished in: USENIX Workshop on Electronic Commerce (1998)
Keyphrases
- formal model
- trusted computing
- security patterns
- low cost
- computing platform
- security properties
- remote attestation
- smart card
- compute intensive
- single chip
- hardware and software
- trusted platform module
- computing environments
- digital signal processors
- cloud computing
- secure multi party
- signal processor
- security requirements
- third party
- real time
- general purpose
- formal models
- embedded systems
- signal processing
- security issues
- security mechanisms
- programmable logic
- hardware implementation
- low power
- predicate calculus
- authentication protocol
- key management
- computing systems
- general purpose processors
- lightweight
- information systems