Formal verification of a peer-to-peer streaming protocol.
Oluwafolake OjoAyodeji Oludola OluwatopeSuraju Olusegun AjadiPublished in: J. King Saud Univ. Comput. Inf. Sci. (2020)
Keyphrases
- formal verification
- coloured petri nets
- peer to peer
- model checker
- video streaming
- model checking
- cryptographic protocols
- symbolic model checking
- automated verification
- live streaming
- bounded model checking
- real time
- resource discovery
- peer to peer overlay
- overlay network
- data streams
- temporal logic
- peer to peer networks
- program slicing
- content delivery
- streaming services
- lightweight
- distributed computing
- metadata
- network bandwidth
- private information retrieval
- video streams
- rate adaptation
- streaming data
- description language
- file sharing