A New Security Proof of Practical Cryptographic Devices Based on Hardware, Software and Protocols.
An WangZheng LiXianwen YangYanyan YuPublished in: ISPEC (2011)
Keyphrases
- hardware software
- security protocols
- security properties
- embedded systems
- cryptographic protocols
- hw sw
- hardware and software
- key management
- security requirements
- authentication protocol
- encryption scheme
- high performance computing
- hardware design
- multi core processors
- real time
- smart card
- software systems
- resource constrained
- rfid tags
- design methodology
- low cost
- security mechanisms
- formal methods
- information systems