Action DYADE : VIP

Action DYADE

Précédent : VASY

9.8 VIP

[1] D. Bolignano : " Towards the Formal Verification of Electronic Commerce Protocols ". In Proceeding of the 10^th IEEE Computer Security Foundations (June 1997).

[2] D. Bolignano : " Towards the Mechanization of Cryptographic Protocol Verification". 9^th International Computer-Aided Verification Conference, CAV'97 .(june 1997)

[3] T. Thorn, Programming languages for mobile code, Submitted for publication, 1997.

[4] C. Cornes and J. Courant, J.-C. Filliâtre, E. Gimenez, G. Huet, P. Manoury, C. Munoz, C. Murthy, C.Parent, Ch.Paulin-Mohring, A. Saïbi, B. Werner, The Coq Proof Assistant Reference Manual, Version 6.1, INRIA, No 177, Rapport Technique, 1996, Novembre

Rapport d'activité 1997