Foundations of Security, Protocols, and Equational Reasoning
Essays Dedicated to Catherine A. Meadows
Edición de la obra Foundations of Security, Protocols, and Equational Reasoning
| Autor | Joshua Guttman, Carl E. Landwehr, José Meseguer, Dusko Pavlovic |
|---|---|
| Editorial | Springer |
| Fecha de publicación |