Process Calculi and the Verification of Security Properties
Michele Borelae and Daniele Gorla
Paper
appeared in Journal of Telecommunications and Information Technology -
Special Issue on Cryptographic Protocol Verification
(JTIT 2002/4),
Warsaw (Poland), December 2002.
Abstract:
Recently there has been much interest towards using
formal methods in the analysis of security protocols.
Some recent approaches take advantage of concepts and techniques from
the field of process calculi. Process calculi
can be given a formal yet simple semantics, which
permits rigorous definitions of such concepts as `attacker', `secrecy' and
`authentication'. This feature has led to the development of solid reasoning
methods and verification techniques, a few of which we outline in this paper.
@Article{BG:JTIT02,
author = {M. Boreale and D. Gorla},
title = {Process Calculi and the Verification of Security Properties},
journal = {Journal of Telecommunication and Information Technology---
Special Issue on Cryptographic Protocol Verification},
number = {4/02},
pages = {28--40},
year = {2002},
publisher = {National Institute of Telecommunications - Warsaw},
}
Home page /
Publications