@inproceedings{5df0a87ca96c4087bf22bab97f232433,
title = "Symmetry in security protocol cryptographic messages - A serious weakness exploitable by parallel session attacks",
abstract = "This paper is concerned with detection and prevention of weaknesses in the design of security protocols. These weaknesses can be exploited by an attacker mounting attacks that compromise the security of the protocol. A novel theory defining weaknesses caused by the symmetry of cryptographic messages in protocols is introduced. This theory incorporates new rules describing the cases when the symmetry of messages has a structural weakness that is exploitable by parallel session attacks. Further, the rationale behind the Symmetry rules is presented and the structures of detected generic attacks for each rule are provided. Additionally, the Symmetry rules are applied to a protocol that is vulnerable to a parallel session attack. It is demonstrated that the proposed theory successfully detects the weaknesses caused by the symmetry of protocol messages, which lead to parallel session attacks.",
keywords = "attack detection, cryptographic messages, parallel session attacks, Security protocols, symmetry, Symmetry rules, weaknesses",
author = "Anca Jurcut and Tom Coffey and Reiner Dojen",
year = "2012",
doi = "10.1109/ARES.2012.39",
language = "English",
isbn = "9780769547756",
series = "Proceedings - 2012 7th International Conference on Availability, Reliability and Security, ARES 2012",
pages = "410--416",
booktitle = "Proceedings - 2012 7th International Conference on Availability, Reliability and Security, ARES 2012",
note = "2012 7th International Conference on Availability, Reliability and Security, ARES 2012 ; Conference date: 20-08-2012 Through 24-08-2012",
}