@article{journals/njc/NesiN06,
	title = {Deriving the Type Flaw Attacks in the Otway-Rees Protocol by Rewriting.},
	author = {Monica Nesi and Giustina Nocera},
	journal = {Nord. J. Comput.},
	number = {1-2},
	pages = {78-97},
	url = {http://dblp.uni-trier.de/db/journals/njc/njc13.html#NesiN06},
	volume = {13},
	year = {2006},
	biburl = {http://www.bibsonomy.org/bibtex/2edb4f75b51572b8894133364db0b2436/dblp},
	description = {dblp},
	date = {2008-01-29},
	keywords = {dblp }
}