Automated analysis of timed security: a case study on web privacy

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 reviews for this publication, yet.