Signal-flow-based analysis of wireless security protocols. / Capar, Catagay; Paterson, Kenny; Goeckel, Dennis; Quaglia, Elizabeth; Towsley, Don; Zafer, Murtaza.

In: Information and Computation, Vol. 226, 05.2013, p. 37–56.

Research output: Contribution to journalArticle

Published

Standard

Signal-flow-based analysis of wireless security protocols. / Capar, Catagay; Paterson, Kenny; Goeckel, Dennis; Quaglia, Elizabeth; Towsley, Don; Zafer, Murtaza.

In: Information and Computation, Vol. 226, 05.2013, p. 37–56.

Research output: Contribution to journalArticle

Harvard

Capar, C, Paterson, K, Goeckel, D, Quaglia, E, Towsley, D & Zafer, M 2013, 'Signal-flow-based analysis of wireless security protocols', Information and Computation, vol. 226, pp. 37–56. https://doi.org/10.1016/j.ic.2013.03.004

APA

Capar, C., Paterson, K., Goeckel, D., Quaglia, E., Towsley, D., & Zafer, M. (2013). Signal-flow-based analysis of wireless security protocols. Information and Computation, 226, 37–56. https://doi.org/10.1016/j.ic.2013.03.004

Vancouver

Capar C, Paterson K, Goeckel D, Quaglia E, Towsley D, Zafer M. Signal-flow-based analysis of wireless security protocols. Information and Computation. 2013 May;226:37–56. https://doi.org/10.1016/j.ic.2013.03.004

Author

Capar, Catagay ; Paterson, Kenny ; Goeckel, Dennis ; Quaglia, Elizabeth ; Towsley, Don ; Zafer, Murtaza. / Signal-flow-based analysis of wireless security protocols. In: Information and Computation. 2013 ; Vol. 226. pp. 37–56.

BibTeX

@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.",

}

RIS

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

VL - 226

SP - 37

EP - 56

JO - Information and Computation

JF - Information and Computation

SN - 0890-5401

ER -