Anca Jurcut, Tom Coffey, Reiner Dojen. A Novel Security Protocol Attack Detection Logic with Unique Fault Discovery Capability for Freshness Attacks and Interleaving Session Attacks. IEEE Trans. Dependable Sec. Comput., 16(6):969-983, 2019. [doi]
@article{JurcutCD19,
title = {A Novel Security Protocol Attack Detection Logic with Unique Fault Discovery Capability for Freshness Attacks and Interleaving Session Attacks},
author = {Anca Jurcut and Tom Coffey and Reiner Dojen},
year = {2019},
doi = {10.1109/TDSC.2017.2725831},
url = {https://doi.org/10.1109/TDSC.2017.2725831},
researchr = {https://researchr.org/publication/JurcutCD19},
cites = {0},
citedby = {0},
journal = {IEEE Trans. Dependable Sec. Comput.},
volume = {16},
number = {6},
pages = {969-983},
}