, Unicamp/Universidade de Brasilia, Brazil

• Journal of Formalized Reasoning Vol. 6 No. 1 (2013) - Articles
  Formalization in PVS of Balancing Properties Necessary for Proving Security of the Dolev-Yao Cascade Protocol Model
  Abstract  PDF