DMCA
International Journal of Information Security manuscript No. (will be inserted by the editor) A Calculus for Control Flow Analysis of Security Protocols
BibTeX
@MISC{Buchholtz_internationaljournal,
author = {Mikael Buchholtz and Hanne Riis Nielson and Flemming Nielson},
title = {International Journal of Information Security manuscript No. (will be inserted by the editor) A Calculus for Control Flow Analysis of Security Protocols},
year = {}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
Abstract The design of a process calculus for analysing security protocols is governed by three factors: how to express the security protocol in a precise and faithful manner, how to accommodate the variety of attack scenarios, and how to utilise the strengths (and limit the weaknesses) of the underlying analysis methodology. We pursue an analysis methodology based on control flow analysis in flow logic style and we have previously shown its ability to analyse a variety of security protocols [7]. This paper develops a calculus, LySa ns, that allows for much greater control and clarity in the description of attack scenarios, that gives a more flexible format for expressing protocols, and that at the same time allows to circumvent some of the “false positives” arising in [7]. 1
