A Novel Security Protocol Attack Detection Logic with Unique Fault Discovery Capability for Freshness Attacks and Interleaving Session Attacks

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]

Abstract

Abstract is missing.