scientific article
From MaRDI portal
Publication:2849851
zbMath1272.68100MaRDI QIDQ2849851
David Clark, Pasquale Malacaria, Sebastian Hunt
Publication date: 20 September 2013
Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066104052478
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Theory of programming languages (68N15) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (8)
Quantitative information flow as safety and liveness hyperproperties ⋮ A Monotonicity Principle for Information Theory ⋮ Anonymity protocols as noisy channels ⋮ Information hiding in probabilistic concurrent systems ⋮ Anonymity Protocols as Noisy Channels ⋮ Compositional Methods for Information-Hiding ⋮ Synthesis from hyperproperties ⋮ On Privacy and Accuracy in Data Releases (Invited Paper)
This page was built for publication:
