Specification and Verification of Protocols With Time Constraints.
Margherita NapoliMimmo ParenteAdriano PeronPublished in: Electron. Notes Theor. Comput. Sci. (2004)
Keyphrases
- protocol specification
- formal verification
- formal methods
- model checking
- formal specification
- cryptographic protocols
- constrained optimization
- linear constraints
- formal analysis
- high level
- communication protocols
- genetic algorithm
- privacy preserving
- constraint satisfaction
- data sets
- constraint language
- verification method