| |
| 2005 | ||
|---|---|---|
| 2 | EE | Monica Nesi, Giuseppina Rucci: Formalizing and Analyzing the Needham-Schroeder Symmetric-Key Protocol by Rewriting. Electr. Notes Theor. Comput. Sci. 135(1): 95-114 (2005) |
| 2003 | ||
| 1 | EE | Monica Nesi, Giuseppina Rucci, Massimo Verdesca: A rewriting strategy for protocol verification. Electr. Notes Theor. Comput. Sci. 86(4): (2003) |
| 1 | Monica Nesi | [1] [2] |
| 2 | Massimo Verdesca | [1] |