Yuri Santos Rego

According to our database, Yuri Santos Rego authored at least 1 paper in 2013.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2013

Formalization in PVS of Balancing Properties Necessary for Proving Security of the Dolev-Yao Cascade Protocol Model.

Mauricio Ayala-Rincón, Yuri Santos Rego

J. Formaliz. Reason., 2013