Verification of Parameterized Protocols.
Kai BaukusYassine LakhnechKarsten StahlPublished in: J. Univers. Comput. Sci. (2001)
Keyphrases
- cryptographic protocols
- model checking
- face verification
- verification method
- asynchronous circuits
- communication protocols
- network protocols
- formal verification
- handwritten signature verification
- database
- protocol specification
- concurrent systems
- fingerprint verification
- authentication protocol
- signature verification
- security protocols
- formal analysis
- real world
- data sets