1999 • In 4th Italian Workshop on Sistemi Distribuiti: Algoritmi, Architetture e Linguaggi (WSDAAL'99), June 13-15, 1999, Fonte Cerreto (L'Aquila), Italy 2018-09-18 22:51:18 +0000 2019-06-15 18:31:23 +0200
[en] In this work we will present a preliminary study about the design of a model checking environment for cryptographic protocols. In particular given a specification of a protocol in spi-calculus and given some properties expressed in an appropriate logic (i.e., ACTL) we will propose a specialized version of the History Dependent Automata Laboratory (HAL) environment, in such a way to treat with cryptographic protocols. HAL is an integrated tool set for specification, verification an analysis of concurrent system, based on HD automata.
Disciplines :
Computer science
Author, co-author :
Gnesi, Stefania
Latella, Diego
LENZINI, Gabriele ; University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT)
External co-authors :
yes
Language :
English
Title :
Model Checking of Cryptographic Protocols using HD-Automata
Publication date :
1999
Event name :
4th Italian Workshop on Sistemi Distribuiti: Algoritmi, Architetture e Linguaggi (WSDAAL'99)
Event place :
, Fonte Cerreto (L'Aquila), Italy
Event date :
June 13-15, 1999
Main work title :
4th Italian Workshop on Sistemi Distribuiti: Algoritmi, Architetture e Linguaggi (WSDAAL'99), June 13-15, 1999, Fonte Cerreto (L'Aquila), Italy 2018-09-18 22:51:18 +0000 2019-06-15 18:31:23 +0200