An Independence Relation for Sets of Secrets

DOI10.1007/978-3-642-02261-6_24zbMath1246.03055OpenAlexW1808335629MaRDI QIDQ3638291

Pavel Naumov, Sara Miner More

Publication date: 2 July 2009

Published in: Logic, Language, Information and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-02261-6_24

Mathematics Subject Classification ID

Logic in computer science (03B70)

Related Items (6)

Independence in information spaces ⋮ Symmetry in information flow ⋮ Hypergraphs of multiparty secrets ⋮ An independence relation for sets of secrets ⋮ The Functional Dependence Relation on Hypergraphs of Secrets ⋮ Game Semantics for the Geiger-Paz-Pearl Axioms of Independence

Cites Work

• A logic for information flow analysis with an application to forward slicing of simple imperative programs
• Unnamed Item

This page was built for publication: An Independence Relation for Sets of Secrets