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

Academic Article

Publication Date:

2004

Iris type:

01.01 Articolo in rivista

List of contributors:

Martinelli, Fabio

Authors of the University:

MARTINELLI FABIO

Handle:

https://iris.cnr.it/handle/20.500.14243/243832

Published in:

INTERNATIONAL JOURNAL OF INFORMATION SECURITY (PRINT)

Journal