A Formal Definition of Protocol Indistinguishability and Its Verification Using Maude-NPA.
Sonia SantiagoSantiago EscobarCatherine A. MeadowsJosé MeseguerPublished in: STM (2014)
Keyphrases
- protocol specification
- cryptographic protocols
- formal specification
- model checker
- formal analysis
- model checking
- formal proof
- database views
- communication protocols
- authentication protocol
- coloured petri nets
- tcp ip
- lightweight
- network protocols
- security analysis
- encryption scheme
- formal methods
- face verification
- communication protocol
- formal verification
- security protocols
- high security
- colored petri nets
- multi party
- temporal logic
- file transfer
- real time