Giustina Nocera

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

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