Preface of the Proceedings of the IJCAR Workshop on "Automated Reasoning for Security Protocol Analysis (ARSPA 2004)"

Armando, Alessandro; Vigano', Luca

doi:10.1016/j.entcs.2004.09.035

CATALOGO DEI PRODOTTI DELLA RICERCA

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.

Preface of the Proceedings of the IJCAR Workshop on "Automated Reasoning for Security Protocol Analysis (ARSPA 2004)"

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

Titolo:	Preface of the Proceedings of the IJCAR Workshop on "Automated Reasoning for Security Protocol Analysis (ARSPA 2004)"
Autori interni:	VIGANO', Luca
Data di pubblicazione:	2005
Rivista:	ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE
Abstract:	Preface of the Proceedings of the IJCAR Workshop on "Automated Reasoning for Security Protocol Analysis (ARSPA 2004)"
Handle:	http://hdl.handle.net/11562/435220
Appare nelle tipologie:	01.01 Articolo in Rivista

File in questo prodotto:

Non ci sono file associati a questo prodotto.

Citazioni

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