Formal Analysis of SPDM: Security Protocol and Data Model version 1.2.
Cas CremersAlexander DaxAurora NaskaPublished in: IACR Cryptol. ePrint Arch. (2022)
Keyphrases
- formal analysis
- security protocols
- data model
- artificial immune algorithm
- cryptographic algorithms
- security services
- query language
- object oriented
- database systems
- security mechanisms
- agent model
- formal methods
- ban logic
- authentication protocol
- key management
- xml documents
- security requirements
- databases
- database
- rfid tags
- rfid systems
- information systems