PT Journal
AU Focardi, R
   Gorrieri, R
   Lanotte, R
   Maggiolo-Schettini, A
   Martinelli, F
   Tini, S
   Tronci, E
TI Formal Models of Timing Attacks on Web Privacy
SO Electronic Notes in Theoretical Computer Science
PY 2002
BP 229
EP 243
VL 62
DI 10.1016/S1571-0661(04)00329-9
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.
ER