Observation based system security

MaRDI QIDQ5422281zbMATH OpenFDO

Authors Damas Gruska

Publication date 17 October 2007

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) Cryptography (94A60)

Recommendations

• Information-Flow Attacks Based on Limited Observations
• Probabilistic information flow security
• Formal models of timing attacks on web privacy
• Formal Modeling and Analysis of Timed Systems
• Analysing approximate confinement under uniform attacks

Cited in

(6)

• Formal models of timing attacks on web privacy
• Dynamics security policies and process opacity for timed process algebras
• Thwarting timing attacks using ATM networks (Transcript of discussion)
• Analysing approximate confinement under uniform attacks
• Quantifying security for timed process algebras
• Probabilistic information flow security

This page was built for publication: Observation based system security

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