A formal analysis for capturing replay attacks in cryptographic protocols

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

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research

Original language	English
Title of host publication	12th Asian Computing Science Conference, ASIAN 2007 : Lecture Notes in Computer Science
Volume	4846
Publisher	Springer
Publication date	2007
Pages	150-165
Publication status	Published - 2007
Event	12th Asian Computing Science Conference - Doha, Qatar Duration: 9 Dec 2007 → 11 Dec 2007 Conference number: 12

Conference	12th Asian Computing Science Conference
Number	12
Country/Territory	Qatar
City	Doha
Period	09/12/2007 → 11/12/2007

OpenUrl availability

@inproceedings{e129de1be3ca41f684d4679f9854b770,

title = "A formal analysis for capturing replay attacks in cryptographic protocols",

author = "Han Gao and Chiara Bodei and Pierpaolo Degano and Nielson, \{Hanne Riis\}",

year = "2007",

language = "English",

volume = "4846",

pages = "150--165",

booktitle = "12th Asian Computing Science Conference, ASIAN 2007",

publisher = "Springer",

note = "12th Asian Computing Science Conference, ASIAN 2007 ; Conference date: 09-12-2007 Through 11-12-2007",

}

TY - GEN

T1 - A formal analysis for capturing replay attacks in cryptographic protocols

AU - Gao, Han

AU - Bodei, Chiara

AU - Degano, Pierpaolo

AU - Nielson, Hanne Riis

N1 - Conference code: 12

PY - 2007

Y1 - 2007

M3 - Article in proceedings

VL - 4846

SP - 150

EP - 165

BT - 12th Asian Computing Science Conference, ASIAN 2007

PB - Springer

T2 - 12th Asian Computing Science Conference

Y2 - 9 December 2007 through 11 December 2007

ER -