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
• scientific article; zbMATH DE number 1948404

Cited in

(6)

• Formal models of timing attacks on web privacy
• Dynamics security policies and process opacity for timed process algebras
• scientific article; zbMATH DE number 1947513 (Why is no real title available?)
• scientific article; zbMATH DE number 1948404 (Why is no real title available?)
• 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)