Login / Signup
Verification of a Sliding Window Protocol Using IOA and MONA.
Mark A. Smith
Nils Klarlund
Published in:
FORTE (2000)
Keyphrases
</>
sliding window
cryptographic protocols
data streams
protocol specification
formal analysis
model checker
model checking
fixed size
window size
variable size
streaming data
stream data
formal verification
limited memory
continuous queries
space efficient
colored petri nets
petri net