Formal Models of Timing Attacks on Web Privacy
Riccardo Focardi, Roberto Gorrieri, Ruggero Lanotte, Andrea Maggiolo–Schettini, Fabio Martinelli, Simone Tini, Enrico Tronci · Electronic Notes in Theoretical Computer Science · 2002
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.