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.},


Sections de Publications

Contact | Plan du site | Site réalisé avec SPIP 3.0.26 + AHUNTSIC [CC License]

info visites 874456