Signal-flow-based analysis of wireless security protocols

Catagay Capar, Kenny Paterson, Dennis Goeckel, Elizabeth Quaglia, Don Towsley, Murtaza Zafer

Research output: Contribution to journal › Article › peer-review

Original language	English
Pages (from-to)	37–56
Journal	Information and Computation
Volume	226
DOIs	https://doi.org/10.1016/j.ic.2013.03.004
Publication status	Published - May 2013

Access to Document

Security across system of systems
Paterson, K. (PI)
US Army/MOD
11/05/09 → 10/05/11
Project: Research

@article{eba439bfc07940afa34331a90e3b8353,

title = "Signal-flow-based analysis of wireless security protocols",

author = "Catagay Capar and Kenny Paterson and Dennis Goeckel and Elizabeth Quaglia and Don Towsley and Murtaza Zafer",

year = "2013",

month = may,

doi = "10.1016/j.ic.2013.03.004",

language = "English",

volume = "226",

pages = "37–56",

journal = "Information and Computation",

issn = "0890-5401",

publisher = "Elsevier Inc.",

}

TY - JOUR

T1 - Signal-flow-based analysis of wireless security protocols

AU - Capar, Catagay

AU - Paterson, Kenny

AU - Goeckel, Dennis

AU - Quaglia, Elizabeth

AU - Towsley, Don

AU - Zafer, Murtaza

PY - 2013/5

Y1 - 2013/5

U2 - 10.1016/j.ic.2013.03.004

DO - 10.1016/j.ic.2013.03.004

M3 - Article

SN - 0890-5401

VL - 226

SP - 37

EP - 56

JO - Information and Computation

JF - Information and Computation

ER -