A Simple Framework for Real-time Cryptographic Protocol Analysis with Compositional Proof Rules

Gorrieri, Roberto; Martinelli, F.

doi:10.1016/j.scico.2004.01.001

CRIS Current Research Information System

IRIS è la soluzione IT che facilita la raccolta e la gestione dei dati relativi alle attività e ai prodotti della ricerca. Fornisce a ricercatori, amministratori e valutatori gli strumenti per monitorare i risultati della ricerca, aumentarne la visibilità e allocare in modo efficace le risorse disponibili.

A Simple Framework for Real-time Cryptographic Protocol Analysis with Compositional Proof Rules / Roberto Gorrieri; F.Martinelli. - In: SCIENCE OF COMPUTER PROGRAMMING. - ISSN 0167-6423. - STAMPA. - 50(1-3)(2004), pp. 23-49.

Titolo:	A Simple Framework for Real-time Cryptographic Protocol Analysis with Compositional Proof Rules
Autore/i:	GORRIERI, ROBERTO; F. Martinelli
Autore/i Unibo:	GORRIERI, ROBERTO F. Martinelli mostra contributor esterni nascondi contributor esterni
Anno:	2004
Rivista:	SCIENCE OF COMPUTER PROGRAMMING
Digital Object Identifier (DOI):	10.1016/j.scico.2004.01.001
Data prodotto definitivo in UGOV:	2005-09-26 14:06:09
Appare nelle tipologie:	1.01 Articolo in rivista

File in questo prodotto:

Eventuali allegati, non sono esposti

Utilizza questo identificativo per citare o creare un link a questo documento:
http://hdl.handle.net/11585/6515

Citazioni

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.