Verification of the Capability Exchange Signalling protocol.
Lin LiuJonathan BillingtonPublished in: Int. J. Softw. Tools Technol. Transf. (2007)
Keyphrases
- cryptographic protocols
- tcp ip
- protocol specification
- formal analysis
- model checking
- model checker
- mobility management
- formal proof
- colored petri nets
- authentication protocol
- verification method
- network protocols
- trusted third party
- digital libraries
- information exchange
- neural network
- signature verification
- security protocols
- formal methods
- formal specification