Search
 
loader loading subjects...
cover
Automatic Verification of Security Properties based on Abstractions - From the complexity-theoretic to the Symbolic Model
Liana Bozga, Cristian Ene, Romain Janvier, Yassine Lakhnech, Laurent Mazaré, Michael Périn
23 - 53
NATO Security through Science Series - D: Information and Communication Security
Volume 1: Verification of Infinite-State Systems with Applications to Security
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.

$35.00 / €27.50 / £22.00
Add PDF to cart