Automated Analysis of Timed Security: A Case Study on Web Privacy

Articolo
Data di Pubblicazione:
2004
Tipologia CRIS:
Articolo su Rivista
Elenco autori:
Autori di Ateneo:
Link alla scheda completa:
https://irinsubria.uninsubria.it/handle/11383/1492718
Pubblicato in:
INTERNATIONAL JOURNAL OF INFORMATION SECURITY
Journal