Formal Security Analysis of Vehicle Diagnostic Protocols.
Timm LauserChristoph KraußPublished in: ARES (2023)
Keyphrases
- security analysis
- authentication protocol
- key exchange
- security properties
- mutual authentication
- secure electronic
- public key
- security requirements
- smart card
- high security
- formal model
- encryption scheme
- security model
- image encryption
- elliptic curve cryptography
- authentication scheme
- real time
- formal methods
- access control policies
- low cost
- information systems
- databases