Provably Secure Communication Protocols for Remote Attestation.
Johannes WilsonMikael AsplundNiklas JohanssonFelipe BoeiraPublished in: ARES (2024)
Keyphrases
- communication protocols
- provably secure
- key management
- trusted computing
- standard model
- security protocols
- security model
- computing platform
- public key
- hash functions
- signature scheme
- communication protocol
- communication networks
- diffie hellman
- resource constrained
- security mechanisms
- access control
- real time
- virtual machine
- similarity search
- security requirements
- ad hoc networks
- encryption scheme
- wireless sensor networks
- database systems