Login / Signup

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

Mauricio Ayala-RincónYuri Santos Rego
Published in: J. Formaliz. Reason. (2013)
Keyphrases
  • security model
  • formal model
  • computational model
  • mathematical model
  • formal analysis