Deductive verification of the Sliding Window Protocol.

D. A. Chkliaev Valery A. Nepomniaschy

Published in: Autom. Control. Comput. Sci. (2013)

Keyphrases

sliding window
cryptographic protocols
protocol specification
data streams
formal analysis
model checker
fixed size
model checking
window size
limited memory
formal verification
streaming data
continuous queries
space efficient
real time
variable size
stream data
knowledge discovery
search algorithm