Formal models of timing attacks on web privacy

DOI10.1016/S1571-0661(04)00329-9MaRDI QIDQ2841280zbMATH OpenWikidataFDO

Authors Riccardo Focardi, Roberto Gorrieri, Ruggero Lanotte, Andrea Maggiolo-Schettini, Fabio Martinelli, Simone Tini, Enrico Tronci

Publication date 24 July 2013

Published in Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/S1571-0661(04)00329-9

Mathematics Subject Classification ID

Internet topics (68M11) Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Information-Flow Attacks Based on Limited Observations
• Probabilistic information flow security
• Observation based system security
• Tempus fugit: How to plug it
• scientific article; zbMATH DE number 6300104

Cites work

• A theory of timed automata
• Concurrency in timed automata
• scientific article; zbMATH DE number 438994 (Why is no real title available?)
• Non interference for the analysis of cryptographic protocols
• Symbolic model checking: \(10^{20}\) states and beyond

Cited in

(3)

• Thwarting timing attacks using ATM networks (Transcript of discussion)
• Observation based system security
• Formal methods and automated tool for timing-channel identification in TCB source code

This page was built for publication: Formal models of timing attacks on web privacy

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2841280)