%0 Journal Article
%T Formal Models of Timing Attacks on Web Privacy
%A Focardi, Riccardo
%A Gorrieri, Roberto
%A Lanotte, Ruggero
%A Maggiolo-Schettini, Andrea
%A Martinelli, Fabio
%A Tini, Simone
%A Tronci, Enrico
%J Electronic Notes in Theoretical Computer Science
%D 2002
%V 62
%F Focardi_etal2002
%O TOSCA 2001, Theory of Concurrency, Higher Order Languages and Types
%O exported from refbase (http://mclab.di.uniroma1.it/publications/show.php?record=47), last updated on Thu, 22 Nov 2012 14:59:18 +0100
%X 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.
%R 10.1016/S1571-0661(04)00329-9
%U http://mclab.di.uniroma1.it/publications/papers/papers/Focardi2002.pdf
%U https://doi.org/10.1016/S1571-0661(04)00329-9
%P 229-243