Automated Analysis of Timed Security: a case study on web privacy / Roberto, G., Ruggero, L., Andrea Maggiolo, S., Fabio, M., Simone, T., Tronci, E.. - 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.


