Including a Queue in a Formal-Description-Driven Protocol Performance Analysis.
Jan GustavssonHarry RudinPublished in: PSTV (1989)
Keyphrases
- lightweight
- queue length
- cryptographic protocols
- data driven
- steady state
- coloured petri nets
- markov modulated
- network protocols
- waiting times
- arrival rate
- formal analysis
- service times
- authentication protocol
- communication protocol
- communication protocols
- formal specification
- finite capacity
- markov chain
- security protocols
- loss probability
- file transfer
- neural network