On the Verification of Broadcast Protocols.
Javier EsparzaAlain FinkelRichard MayrPublished in: LICS (1999)
Keyphrases
- cryptographic protocols
- model checking
- protocol specification
- face verification
- formal methods
- communication protocols
- signature verification
- formal verification
- verification method
- fingerprint verification
- news video
- sensor networks
- authentication protocol
- real time
- data dissemination
- formal analysis
- asynchronous circuits
- artificial intelligence
- concurrent systems
- key agreement protocol
- digital television
- data broadcasting
- data sets