Model Checking of Cryptographic Protocols using HD-Automata

Reference : Model Checking of Cryptographic Protocols using HD-Automata


	Document type :	Scientific congresses, symposiums and conference proceedings : Paper published in a book
	Discipline(s) :	Engineering, computing & technology : Computer science
	Focus Areas :	Security, Reliability and Trust
	To cite this reference:	http://hdl.handle.net/10993/46825

Title :	Model Checking of Cryptographic Protocols using HD-Automata
Language :	English
Author, co-author :	Gnesi, Stefania []
	Latella, Diego []
	Lenzini, Gabriele [University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) >]
Publication date :	1999
Main document 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
Publisher :	Informal Proceedings
Pages :	74-77
Peer reviewed :	Yes
Event name :	4th Italian Workshop on Sistemi Distribuiti: Algoritmi, Architetture e Linguaggi (WSDAAL'99)
Event date :	June 13-15, 1999
Event place (city) :	, Fonte Cerreto (L'Aquila)
Event country :	Italy
Abstract :	[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.
Permalink :	http://hdl.handle.net/10993/46825

There is no file associated with this reference.

All documents in ORBi^lu are protected by a user license.