On the verification of automotive protocols.
G. ZarriFederico ColucciF. DupuisRiccardo MarianiMario PasquarielloG. RisalitiC. TibaldiPublished in: DATE Designers' Forum (2006)
Keyphrases
- cryptographic protocols
- model checking
- protocol specification
- face verification
- formal verification
- communication protocols
- automotive industry
- social networks
- formal methods
- multi party
- functional verification
- asynchronous circuits
- fingerprint verification
- information retrieval
- communication protocol
- high security
- verification method
- concurrent systems
- signature verification
- data mining