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

Academic Article
Publication Date:
2004
Iris type:
Articolo su Rivista
List of contributors:
Authors of the University:
Handle:
https://irinsubria.uninsubria.it/handle/11383/1492718
Published in:
INTERNATIONAL JOURNAL OF INFORMATION SECURITY
Journal