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]

Authors

Roberto Gorrieri

This author has not been identified. Look up 'Roberto Gorrieri' in Google

Ruggero Lanotte

This author has not been identified. Look up 'Ruggero Lanotte' in Google

Andrea Maggiolo-Schettini

This author has not been identified. Look up 'Andrea Maggiolo-Schettini' in Google

Fabio Martinelli

This author has not been identified. Look up 'Fabio Martinelli' in Google

Simone Tini

This author has not been identified. Look up 'Simone Tini' in Google

Enrico Tronci

This author has not been identified. Look up 'Enrico Tronci' in Google