Verification of a sliding window protocol in µCRL and PVS.

Bahareh Badban Wan J. Fokkink Jan Friso Groote Jun Pang Jaco van de Pol

Published in: Formal Aspects Comput. (2005)

Keyphrases

sliding window
formal verification
cryptographic protocols
data streams
protocol specification
formal analysis
model checking
fixed size
streaming data
window size
colored petri nets
stream data
limited memory
continuous queries
variable size
timed automata
data sets
data distribution
sensor networks
window sizes