Le processus de certification de logiciels est dans la plupart des cas une tâche laborieuse et
coûteuse qui nécessite aussi bien des méthodes mathématiques, pour exprimer sans …

La verification des specifications d'un systeme informatique distribue a pour but de s'
assurer que toute execution du systeme satisfera certaines proprietes. Ces proprietes …

Résumé Cette thèse s' inscrit dans le cadre de la vérification de systèmes critiques. Le
problème de sécurité consiste à déterminer si un système est sûr ou non et également …

We consider the problem of establishing consistency of code implementing a network
protocol with respect to the documentation as a standard RFC. The problem is formulated as …

L'avènement du réseau Internet a contribué au développement et à la prolifération des
codes malicieux, dont le plus connu reste le virus informatique. Cette nouvelle donne dans …

We present a procedure for the verification of cryptographic protocols based on a new
method for automatic implicit induction theorem proving for specifications made of …

We present a system for automatically verifying cryptographic protocols. This system
manages the knowledge of principals and checks if the protocol is runnable. In this case, it …

Many analysis techniques and decidability results have been obtained for cryptographic
protocols. However all of them consider protocols with limited procedures for the processing …

Many of today's software systems are built using distributed services, which evolve in
different organizations. In order to facilitate their integration, it is necessary to provide a …

This volume contains the proceedings of the Eleventh International Conference on
Computer-Aided Verification (CAV'99), held at Trento, Italy on July 6–10. The CAV …