Home | << 1 >> |
![]() |
Record | |||||
---|---|---|---|---|---|
Author | Gorrieri, Roberto; Lanotte, Ruggero; Maggiolo-Schettini, Andrea; Martinelli, Fabio; Tini, Simone; Tronci, Enrico | ||||
Title | Automated analysis of timed security: a case study on web privacy | Type ![]() |
Journal Article | ||
Year | 2004 | Publication | International Journal of Information Security | Abbreviated Journal | |
Volume | 2 | Issue | 3-4 | Pages | 168-186 |
Keywords | |||||
Abstract | 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. | ||||
Address | |||||
Corporate Author | Thesis | ||||
Publisher | Place of Publication | Editor | |||
Language | Summary Language | Original Title | |||
Series Editor | Series Title | Abbreviated Series Title | |||
Series Volume | Series Issue | Edition | |||
ISSN | ISBN | Medium | |||
Area | Expedition | Conference | |||
Notes | Approved | yes | |||
Call Number | Sapienza @ mari @ ijis04 | Serial | 33 | ||
Permanent link to this record |