A calculus for control flow analysis of security protocols

  title={A calculus for control flow analysis of security protocols},
  author={Mikael Buchholtz and Hanne Riis Nielson and Flemming Nielson},
  journal={International Journal of Information Security},
The design of a process calculus for analysing security protocols is governed by three factors: expressing the security protocol in a precise and faithful manner, accommodating the variety of attack scenarios, and utilising 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, whose ability to analyse a variety of security protocols we have shown previously [7]. This paper develops a… CONTINUE READING
Highly Cited
This paper has 48 citations. REVIEW CITATIONS
28 Citations
38 References
Similar Papers


Publications citing this paper.
Showing 1-10 of 28 extracted citations

Similar Papers

Loading similar papers…