Giuseppina Rucci

Publication Activity (10 Years)

Years Active: 2003-2005
Publications (10 Years): 0

Publications

Monica Nesi, Giuseppina Rucci
Formalizing and Analyzing the Needham-Schroeder Symmetric-Key Protocol by Rewriting. Electron. Notes Theor. Comput. Sci. 135 (1) (2005)
Monica Nesi, Giuseppina Rucci, Massimo Verdesca
A rewriting strategy for protocol verification. Electron. Notes Theor. Comput. Sci. 86 (4) (2003)