Information-Flow Attacks Based on Limited Observations

DOI10.1007/978-3-540-70881-0_20MaRDI QIDQ3401949zbMATH OpenOpenAlexFDO

Authors Damas Gruska

Publication date 2 February 2010

Published in Perspectives of Systems Informatics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-70881-0_20

zbMATH Keywords

information flowprocess algebrastiming attacks

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Probabilistic information flow security
• Information leakage analysis by abstract interpretation
• Experiments in information flow analysis
• Information flow security in boundary ambients
• Entropy and attack models in information flow (Invited talk)

Cited in

(7)

• Formal models of timing attacks on web privacy
• scientific article; zbMATH DE number 1948404 (Why is no real title available?)
• Quantifying security for timed process algebras
• Observation based system security
• Network information flow
• Probabilistic information flow security
• Formal Modeling and Analysis of Timed Systems

This page was built for publication: Information-Flow Attacks Based on Limited Observations

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