Journal of Formalized Reasoning

Santos Rego, Yuri, Unicamp/Universidade de Brasilia, Brazil

• 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 (English)