| Home | << 1 >> |
|
| Record | |||||
|---|---|---|---|---|---|
Author  |
Focardi, Riccardo; Gorrieri, Roberto; Lanotte, Ruggero; Maggiolo-Schettini, Andrea; Martinelli, Fabio; Tini, Simone; Tronci, Enrico | ||||
| Title | Formal Models of Timing Attacks on Web Privacy | Type | Journal Article | ||
| Year | 2002 | Publication | Electronic Notes in Theoretical Computer Science | Abbreviated Journal | |
| Volume | 62 | Issue | Pages | 229-243 | |
| Keywords | |||||
| 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. | ||||
| 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 | TOSCA 2001, Theory of Concurrency, Higher Order Languages and Types | Approved | yes | ||
| Call Number | Sapienza @ mari @ entcs02a | Serial | 47 | ||
| Permanent link to this record | |||||