Formal Analysis of SPDM: Security Protocol and Data Model version 1.2.
Cas CremersAlexander DaxAurora NaskaPublished in: USENIX Security Symposium (2023)
Keyphrases
- formal analysis
- security protocols
- data model
- authentication protocol
- ban logic
- cryptographic algorithms
- security services
- formal methods
- query language
- key management
- artificial immune algorithm
- agent model
- database
- database systems
- databases
- object oriented
- smart card
- personal information
- security mechanisms
- schema evolution
- expert systems
- case study