@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" }