Protocol windows
Nihal Nounou, Y. Yemini · 2003
The authors describe algebraic transformations of protocols for computing useful windows. They show how these windows can be usefully applied to accomplish probabilistic verification, optimum tuning, and performance analysis protocols. A connection-establishment protocol is considered as an example.>