J. BorgStr om, U. Nestmann. On Bisimulations for the Spi-Calculus. Manuscript, available from http://lampwww.epfl.ch/#uwe/doc/spi/, 2002. Home/Search Document Not in Database Summary Related Articles |
This paper is cited in the following contexts:
Process Calculi and the Verification of Security Protocols - Boreale, Gorla (2002) (Correct)
....logic, which provides formal reasoning rules but not an operational model, and finite state methods, which provide a precise operational model but not a convenient basis for formal reasoning. These features have led to the development of solid reasoning techniques and verification methods (e.g. [4, 10, 5, 7, 8, 12]) a few of which we will survey in this paper. In Section 2. we give a brief overview of the spi calculus, mainly concentrating on syntax and informal explanation of its operators. Section 3. is devoted to presenting a simplified version of the Kerberos protocol [21] which will serve as a ....
J. BorgStr om, U. Nestmann. On Bisimulations for the Spi-Calculus. Manuscript, available from http://lampwww.epfl.ch/#uwe/doc/spi/, 2002.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC