Verification in XESAR of the Sliding Window Protocol.
Jean-Luc RichierCarlos RodriguezJoseph SifakisJacques VoironPublished in: PSTV (1987)
Keyphrases
- sliding window
- cryptographic protocols
- protocol specification
- data streams
- formal analysis
- model checker
- window size
- model checking
- fixed size
- streaming data
- space efficient
- formal methods
- variable size
- stream data
- colored petri nets
- data sets
- limited memory
- search algorithm
- window sizes
- database
- continuous queries
- skyline queries
- formal verification
- knowledge discovery
- data structure