Giustina Nocera

List of publications from the DBLP Bibliography Server - FAQ

2006

1 Monica Nesi, Giustina Nocera: Deriving the Type Flaw Attacks in the Otway-Rees Protocol by Rewriting. Nord. J. Comput. 13(1-2): 78-97 (2006)

2006
1		Monica Nesi, Giustina Nocera: Deriving the Type Flaw Attacks in the Otway-Rees Protocol by Rewriting. Nord. J. Comput. 13(1-2): 78-97 (2006)

Coauthor Index