A Formal Analysis of Complex Type Flaw Attacks on Security Protocols

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

Original language	English
Title of host publication	Lecture Notes in Computer Science
Volume	5140
Publisher	Springer
Publication date	2008
Pages	167-183
Publication status	Published - 2008
Event	12th International Conference on Algebraic Methodology and Software Technology - Urbana, United States Duration: 28 Jul 2008 → 31 Jul 2008 Conference number: 12

Conference	12th International Conference on Algebraic Methodology and Software Technology
Number	12
Country/Territory	United States
City	Urbana
Period	28/07/2008 → 31/07/2008

OpenUrl availability

@inproceedings{30bd694e679347479d7b0028950625ca,

title = "A Formal Analysis of Complex Type Flaw Attacks on Security Protocols",

author = "Han Gao and Chiara Bodei and Pierpaolo Degano",

year = "2008",

language = "English",

volume = "5140",

pages = "167--183",

booktitle = "Lecture Notes in Computer Science",

publisher = "Springer",

note = "12th International Conference on Algebraic Methodology and Software Technology, AMAST 2008 ; Conference date: 28-07-2008 Through 31-07-2008",

}

TY - GEN

T1 - A Formal Analysis of Complex Type Flaw Attacks on Security Protocols

AU - Gao, Han

AU - Bodei, Chiara

AU - Degano, Pierpaolo

N1 - Conference code: 12

PY - 2008

Y1 - 2008

M3 - Article in proceedings

VL - 5140

SP - 167

EP - 183

BT - Lecture Notes in Computer Science

PB - Springer

T2 - 12th International Conference on Algebraic Methodology and Software Technology

Y2 - 28 July 2008 through 31 July 2008

ER -