A Formal Analysis for Capturing Replay Attacks in Communication Protocols

Han Gao, Chiara Bodei, Pierpaolo Degano, Hanne Riis Nielson

TypeConference paper [Submitted]
Conference12th Annual Asian Computing Science Conference: Focusing on Computer and Network Security
Year2007    Month December
SeriesLecture Notes in Computer Science
Electronic version(s)[pdf]
BibTeX data [bibtex]
IMM Group(s)Computer Science & Engineering