Attacking fair-exchange protocols: parallel models vs trace models

Carlucci, L.; Massacci, F

doi:10.1016/S1571-0661(04)00244-0

CINECA IRIS Institutional 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.

Special Issue on the CAV Workshop LACPV'2001 Logical Aspects of Cryptographic Protocol Verification

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

Titolo:	Attacking fair-exchange protocols: parallel models vs trace models
Autori interni:	CARLUCCI, Luigia
Data di pubblicazione:	2001
Rivista:	ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE
Abstract:	Special Issue on the CAV Workshop LACPV'2001 Logical Aspects of Cryptographic Protocol Verification
Handle:	http://hdl.handle.net/11573/13388
Appare nelle tipologie:	01.a Pubblicazione su Rivista

File in questo prodotto:

Non ci sono file associati a questo prodotto.

Citazioni
ND

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