Roberto Gorrieri, Ruggero Lanotte, Andrea Maggiolo-Schettini, Fabio Martinelli, Simone Tini, Enrico Tronci. Automated analysis of timed security: a case study on web privacy. Int. J. Inf. Sec., 2(3-4):168-186, 2004. [doi]
No references recorded for this publication.
No citations of this publication recorded.