Mechanical Verification of a Two-Way Sliding Window Protocol.
Bahareh BadbanWan J. FokkinkJaco van de PolPublished in: CPA (2008)
Keyphrases
- sliding window
- cryptographic protocols
- data streams
- protocol specification
- formal analysis
- model checker
- fixed size
- window size
- stream data
- streaming data
- model checking
- variable size
- formal verification
- space efficient
- continuous queries
- colored petri nets
- boyer moore
- formal methods
- real time
- authentication protocol
- sensor networks
- query processing