Ayala-Rincón, Mauricio, and Yuri Santos Rego. “Formalization in PVS of Balancing Properties Necessary for Proving Security of the Dolev-Yao Cascade Protocol Model”. Journal of Formalized Reasoning 6, no. 1 (January 1, 2013): 31–61. Accessed April 19, 2024. https://jfr.unibo.it/article/view/3720.