TY - JOUR AU - Gorrieri, Roberto AU - Lanotte, Ruggero AU - Maggiolo-Schettini, Andrea AU - Martinelli, Fabio AU - Tini, Simone AU - Tronci, Enrico PY - 2004 DA - 2004// TI - Automated analysis of timed security: a case study on web privacy JO - International Journal of Information Security SP - 168 EP - 186 VL - 2 IS - 3-4 AB - This paper presents a case study on an automated analysis of real-time security models. The case study on a web system (originally proposed by Felten and Schneider) is presented that shows a timing attack on the privacy of browser users. Three different approaches are followed: LH-Timed Automata (analyzed using the model checker HyTech), finite-state automata (analyzed using the model checker NuSMV), and process algebras (analyzed using the model checker CWB-NC). A comparative analysis of these three approaches is given. L1 - http://mclab.di.uniroma1.it/publications/papers/papers/Gorrieri2004.pdf UR - https://doi.org/10.1007/s10207-004-0037-9 DO - 10.1007/s10207-004-0037-9 N1 - exported from refbase (http://mclab.di.uniroma1.it/publications/show.php?record=33), last updated on Thu, 22 Nov 2012 14:59:18 +0100 ID - Gorrieri_etal2004 ER -