Automated Analysis of Timed Security: a case study on web privacy / Roberto, Gorrieri; Ruggero, Lanotte; Andrea Maggiolo, Schettini; Fabio, Martinelli; Simone, Tini; Tronci, Enrico. - In: INTERNATIONAL JOURNAL OF INFORMATION SECURITY. - ISSN 1615-5262. - 2:3-4(2004), pp. 168-186. [10.1007/s10207-004-0037-9]
File allegati a questo prodotto
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.