Probabilistic information flow security

MaRDI QIDQ5506366zbMATH OpenFDO

Authors Damas Gruska

Publication date 28 January 2009

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Cryptography (94A60) Authentication, digital signatures and secret sharing (94A62)

Recommendations

• Information-Flow Attacks Based on Limited Observations
• Observation based system security
• scientific article; zbMATH DE number 2090700
• Network information flow
• scientific article; zbMATH DE number 1863164

Cited in

(19)

• Information flow certificates
• The complexity of synchronous notions of information flow security
• Formal models of timing attacks on web privacy
• From operational models to information theory; side channels in pGCL with Isabelle
• Information-Flow Attacks Based on Limited Observations
• scientific article; zbMATH DE number 5139437 (Why is no real title available?)
• Decidability of Parameterized Probabilistic Information Flow
• The complexity of synchronous notions of information flow security
• scientific article; zbMATH DE number 1948404 (Why is no real title available?)
• scientific article; zbMATH DE number 1863164 (Why is no real title available?)
• scientific article; zbMATH DE number 2090700 (Why is no real title available?)
• Slot games for detecting timing leaks of programs
• Transforming out timing leaks
• Quantifying security for timed process algebras
• Observation based system security
• Network information flow
• Formal methods and automated tool for timing-channel identification in TCB source code
• Timing-sensitive information flow analysis for synchronous systems
• Tempus fugit: How to plug it

This page was built for publication: Probabilistic information flow security

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