Maude-NPA: Cryptographic Protocol Analysis Modulo Equational Properties
Autores UPV | Escobar Román Santiago |
---|---|
Año | 2009 |
Libro | Foundations of Security Analysis and Design V |
Autores UPV | Escobar Román Santiago |
---|---|
Año | 2009 |
Libro | Foundations of Security Analysis and Design V |