Jurcut, Anca; Coffey, Tom; Dojen, Reiner
(IEEE Computer Society, 2017)
This paper introduces a new logic-based technique for detecting security protocol weaknesses that are exploitable by freshness and interleaving session attacks. This technique is realised as a special purpose logic to be ...