An Optimized Intruder Model for SAT-based Model-Checking of Security Protocols

Armando, Alessandro; Compagna, L.

doi:10.1016/j.entcs.2004.05.021

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.

An Optimized Intruder Model for SAT-based Model-Checking of Security Protocols / A. ARMANDO; COMPAGNA L.. - In: ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE. - ISSN 1571-0661. - STAMPA. - 125(2005), pp. 91-108.

Scheda prodotto non validato

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

SFX

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

Titolo:	An Optimized Intruder Model for SAT-based Model-Checking of Security Protocols
Autori:	ARMANDO, ALESSANDRO COMPAGNA L. mostra contributor esterni nascondi contributor esterni
Data di pubblicazione:	2005
Rivista:	ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE
Handle:	http://hdl.handle.net/11567/209681
Appare nelle tipologie:	01.01 - Articolo su 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.