, 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 -
Journal of Formalized Reasoning Vol. 1 No. 1 (2008) - Articles
A Formalization of Newman's and Yokouchi's Lemmas in a Higher-Order Language
Abstract PDF