Reference : Model Checking of Cryptographic Protocols using HD-Automata
Scientific congresses, symposiums and conference proceedings : Paper published in a book
Engineering, computing & technology : Computer science
Security, Reliability and Trust
http://hdl.handle.net/10993/46825
Model Checking of Cryptographic Protocols using HD-Automata
English
Gnesi, Stefania []
Latella, Diego []
Lenzini, Gabriele mailto [University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) >]
1999
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
Informal Proceedings
74-77
Yes
4th Italian Workshop on Sistemi Distribuiti: Algoritmi, Architetture e Linguaggi (WSDAAL'99)
June 13-15, 1999
, Fonte Cerreto (L'Aquila)
Italy
[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.
http://hdl.handle.net/10993/46825

There is no file associated with this reference.

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.