TY  - JOUR
AU  - Focardi, Riccardo
AU  - Gorrieri, Roberto
AU  - Lanotte, Ruggero
AU  - Maggiolo-Schettini, Andrea
AU  - Martinelli, Fabio
AU  - Tini, Simone
AU  - Tronci, Enrico
PY  - 2002
DA  - 2002//
TI  - Formal Models of Timing Attacks on Web Privacy
JO  - Electronic Notes in Theoretical Computer Science
SP  - 229
EP  - 243
VL  - 62
AB  - 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.
L1  - http://mclab.di.uniroma1.it/publications/papers/papers/Focardi2002.pdf
UR  - https://doi.org/10.1016/S1571-0661(04)00329-9
DO  - 10.1016/S1571-0661(04)00329-9
N1  - TOSCA 2001, Theory of Concurrency, Higher Order Languages and Types
ID  - Focardi_etal2002
ER  -