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]
@article{GorrieriLMMTT04,
title = {Automated analysis of timed security: a case study on web privacy},
author = {Roberto Gorrieri and Ruggero Lanotte and Andrea Maggiolo-Schettini and Fabio Martinelli and Simone Tini and Enrico Tronci},
year = {2004},
doi = {10.1007/s10207-004-0037-9},
url = {http://dx.doi.org/10.1007/s10207-004-0037-9},
tags = {case study, analysis, security},
researchr = {https://researchr.org/publication/GorrieriLMMTT04},
cites = {0},
citedby = {0},
journal = {Int. J. Inf. Sec.},
volume = {2},
number = {3-4},
pages = {168-186},
}