@Article{Gorrieri_etal2004,
author="Gorrieri, Roberto
and Lanotte, Ruggero
and Maggiolo-Schettini, Andrea
and Martinelli, Fabio
and Tini, Simone
and Tronci, Enrico",
title="Automated analysis of timed security: a case study on web privacy",
journal="International Journal of Information Security",
year="2004",
volume="2",
number="3-4",
pages="168--186",
abstract="This paper presents a case study on an automated analysis of real-time security models. The case study on a web system (originally proposed by Felten and Schneider) is presented that shows a timing attack on the privacy of browser users. Three different approaches are followed: LH-Timed Automata (analyzed using the model checker HyTech), finite-state automata (analyzed using the model checker NuSMV), and process algebras (analyzed using the model checker CWB-NC). A comparative analysis of these three approaches is given.",
optnote="exported from refbase (http://mclab.di.uniroma1.it/publications/show.php?record=33), last updated on Thu, 22 Nov 2012 14:59:18 +0100",
doi="10.1007/s10207-004-0037-9",
opturl="https://doi.org/10.1007/s10207-004-0037-9",
file=":http://mclab.di.uniroma1.it/publications/papers/papers/Gorrieri2004.pdf:PDF"
}