@Article{Focardi_etal2002,
author="Focardi, Riccardo
and Gorrieri, Roberto
and Lanotte, Ruggero
and Maggiolo-Schettini, Andrea
and Martinelli, Fabio
and Tini, Simone
and Tronci, Enrico",
title="Formal Models of Timing Attacks on Web Privacy",
journal="Electronic Notes in Theoretical Computer Science",
year="2002",
volume="62",
pages="229--243",
abstract="We model a timing attack on web privacy proposed by Felten and Schneider by using three different approaches: HL-Timed Automata, SMV model checker, and tSPA Process Algebra. Some comparative analysis on the three approaches is derived.",
optnote="TOSCA 2001, Theory of Concurrency, Higher Order Languages and Types",
optnote="exported from refbase (http://mclab.di.uniroma1.it/publications/show.php?record=47), last updated on Thu, 22 Nov 2012 14:59:18 +0100",
doi="10.1016/S1571-0661(04)00329-9",
opturl="https://doi.org/10.1016/S1571-0661(04)00329-9",
file=":http://mclab.di.uniroma1.it/publications/papers/papers/Focardi2002.pdf:PDF"
}