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 ![]() | |
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.
All documents in ORBilu are protected by a user license.