A semiring-based trace semantics for processes with applications to information leakage analysis

DOI10.1017/S0960129513000601zbMath1361.68128OpenAlexW1965752422MaRDI QIDQ5740623

David Clark, Daniele Gorla, Michele Boreale

Publication date: 27 July 2016

Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s0960129513000601

Mathematics Subject Classification ID

Algebraic theory of languages and automata (68Q70) Semantics in the theory of computing (68Q55) Abstract data types; algebraic specification (68Q65) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Cites Work

• Quantifying information leakage in process calculi
• Behavioural differential equations: a coinductive calculus of streams, automata, and power series
• Anonymity protocols as noisy channels
• Processes as formal power series: a coinductive approach to denotational semantics
• Deriving Syntax and Axioms for Quantitative Regular Behaviours
• Timing Attacks on Implementations of Diffie-Hellman, RSA, DSS, and Other Systems
• Computing the Leakage of Information-Hiding Systems
• Power series, power serious

This page was built for publication: A semiring-based trace semantics for processes with applications to information leakage analysis