Protocol Verification Via Rigid/Flexible Resolution.
Stéphanie DelauneHai LinChristopher LynchPublished in: LPAR (2007)
Keyphrases
- cryptographic protocols
- lightweight
- protocol specification
- formal analysis
- model checker
- outer sheath
- model checking
- high resolution
- formal methods
- formal verification
- coloured petri nets
- security protocols
- sampling rate
- formal proof
- authentication protocol
- database
- face verification
- three dimensional
- data sets
- network simulator
- formal specification
- digital libraries