Short paper: Formal verification of an authorization protocol for remote vehicle diagnostics.
Pierre KlebergerGuilhem MoulinPublished in: VNC (2013)
Keyphrases
- formal verification
- coloured petri nets
- model checker
- model checking
- real time
- tcp ip
- automated verification
- access control
- cryptographic protocols
- bounded model checking
- pedestrian detection
- symbolic model checking
- program slicing
- fine grained
- vehicle detection
- wide area network
- remote server
- trust negotiation
- automated trust negotiation
- temporal logic
- web services
- human body
- artificial intelligence
- autonomous vehicles
- formal methods