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
• scientific article; zbMATH DE number 1670837 (Why is no real title available?)
• scientific article; zbMATH DE number 438994 (Why is no real title available?)
• scientific article; zbMATH DE number 1839448 (Why is no real title available?)
• Symbolic model checking: \(10^{20}\) states and beyond

Cited in

(3)

• scientific article; zbMATH DE number 1947513 (Why is no real title available?)
• 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)