This page, and any PDF documents linked on this page, are no longer maintained and may not meet accessibility standards. To request an accessible version of any content, please contact us.

References

AG97

M. Abadi and A.D. Gordon: ``A Calculus for Cryptographic Protocols The Spi Calculus'', Proceedings of the 4th ACM Conference on Computer and Communication Security, 1997.

Bol96

D. Bolignano: ``Formal Verification of Cryptographic Protocols'', Proceedings of the 3rd ACM Conference on Computer and Communication Security, 1996.

Bol97

D. Bolignano: ``Towards a Mechanization of Cryptographic Protocol Verification'', Proceedings of CAV 97, LNCS 1254, Springer-Verlag, June 1997.

BB87

T. Bolognesi and E. Brinksma: ``Introduction to the ISO Specification Language LOTOS'', Computer Networks and ISDN Systems 14, pp. 25-59, 1987.

BFG91

A. Bouajjani, J.-C. Fernandez, S. Graf, C. Rodriguez and J. Sifakis: ``Safety for Branching Time Semantics'', 18th ICALP, Springer-Verlag, July 1991.

BAN90

M. Burrow, M. Abadi and R. Needham: ``A Logic of Authentication'', ACM Transactions on Computer Systems, 8, 1990.

EM85

H. Ehrig and B. Mahr: ``Fundamentals of Algebraic Specification 1, Equations and Initial Semantics'', In: W. Brauer, B. Rozenberg, A. Salomaa, Eds, EATCS, Monographs on Theorical Computer Science, Springer-Verlag, 1985.

FGK96

J.-C. Fernandez, H. Garavel, A. Kerbrat, R. Mateescu, L. Mounier and M. Sighireanu: ``CAESAR/ALDEBARAN Development Package: A Protocol Validation and Verification Toolbox'', Proceedings of the 8th Conference on Computer-Aided Verification, R. Alur & T. Henzinger Eds, August 1996.

Gar96

H. Garavel: ``An Overview of the Eucalyptus Toolbox'', Proceedings of COST247 workshop, June 1996.

GL97

F. Germeau, G. Leduc: ``A Computer Aided Design of a Secure Registration Protocol'', Proceedings of FORTE/PSTV 97, Chapman & Hall, 1997, to appear.

GQ88

L. Guillou, J.-J. Quisquater: ``A Practical Zero-knowledge Protocol Fitted to Security Microprocessor Minimizing both Transmission and Memory'', Proceedings of Eurocrypt 88, Springer-Verlag Eds, pp. 123-128, 1988.

GBM96

J. Guimaraes, J.-M. Boucqueau and B. Macq: ``OKAPI: a Kernel for Access Control to Multimedia Services based on Trusted Third Parties'', Proceedings of ECMAST 96, pp. 783-798, Louvain-la-Neuve, Belgium, May 1996.

Hoa85

C.A.R. Hoare: ``Communicating Sequential Processes'', Prentice-Hall International, 1985.

ISO89

ISO/IEC. Information Processing Systems - Open Systems Interconnection: ``LOTOS, a Formal Description Technique Based on the Temporal Ordering of Observational Behaviour'', IS 8807, February 1989.

LBQ96

S. Lacroix, J.-M. Boucqueau, J.-J. Quiquater and B. Macq: ``Providing Equitable Conditional Access by Use of Trusted Third Parties'', Proceedings of ECMAST 96, pp. 763-782, Louvain-la-Neuve, Belgium, May 1996.

LBK96

G. Leduc, O. Bonaventure, E. Koerner, L. Léonard, C. Pecheur, D. Zanetti: ``Specification and Verification of a TTP Protocol for the Conditional Access to Services.'', Proceedings of 12th J. Cartier Workshop on Formal Methods and their Applications : Telecommunications, VLSI and Real-Time Computerized Control System, Montreal, Canada, October 1996.

Low96

G. Lowe: ``Breaking and Fixing the Needham-Schroeder Public-Key Authentication Protocol using FDR'', T. Margaria and B. Steffen Eds, Tools and Algorithms for the Construction and Analysis of Systems, LNCS 1055, Springer-Verlag, 1996.

Mea92

C. Meadows: ``Applying Formal Methods to the Analysis of a Key Management Protocol'', Journal of Computer Security, 1992.

Mil89

R. Milner: ``Communication and Concurrency'', Prentice-Hall International, 1989.

Pec96

C. Pecheur: ``Improving the Specification of Data Types in LOTOS'', Doctoral dissertation, University of Liège, November 1996.

Sch96

B. Schneier: ``Applied Cryptography'', Second Edition, John Wiley & Sons Eds, 1996.