Tesis doctoral

  1. Formal methods for the analysis of security protocols 2009

    Universidad de Castilla-La Mancha