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.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have