A Formal Analysis for Capturing Replay Attacks in Communication Protocols |
Han Gao, Chiara Bodei, Pierpaolo Degano, Hanne Riis Nielson
|
| Type | Conference paper [Submitted] |
| Conference | 12th Annual Asian Computing Science Conference: Focusing on Computer and Network Security |
| Year | 2007 Month December |
| Series | Lecture Notes in Computer Science |
| Electronic version(s) | [pdf] |
| BibTeX data | [bibtex] |
| IMM Group(s) | Computer Science & Engineering |