Verification and Improvement of the Sliding Window Protocol.

Dmitri Chkliaev Jozef Hooman Erik P. de Vink

Published in: TACAS (2003)

Keyphrases

sliding window
data streams
cryptographic protocols
protocol specification
fixed size
formal analysis
window size
limited memory
variable size
streaming data
stream data
database systems
space efficient
continuous queries
database
model checking
multiresolution
similarity measure
data sets