@inproceedings{BEJ+05,
title = { Automatic Verification of Security Properties Based on Abstractions },
author = {Bozga, Liana and Ene, Cristian and Janvier, Romain and Lakhnech, Yassine and Mazar\'e, Laurent and P'erin, Micha\"el},
year = {2005},
booktitle = {Proceedings of the NATO Advanced Research Workshop Verification of Infinite State Systems with Applications to Security VISS},
pages = {23-53},
publisher = {IOS Press},
series = {NATO Security through Science Series D: Information and Communication Security},
volume = {1},
team = {DCS,PACSS},
abstract = {Cryptographic protocols are mandatory for garateeing security properties of open systems that communicate with their environment. The study of the semantic models and the algorithmic verification of these protocols is a chalenging and fascinating research topic that combines the theory of program and system semantics, automata theory, rewriting theory, logics and their decision problems, cryptography, complexity theory,.... . In this paper, we present some of the results developed at Verimag for the automatic verification of cryptographic protocols.},
}
