Skip to Main content Skip to Navigation
Conference papers

A Semiring-Based Trace Semantics for Processes with Applications to Information Leakage Analysis

Abstract : We propose a framework for reasoning about program security building on language-theoretic and coalgebraic concepts. The behaviour of a system is viewed as a mapping from traces of high (unobservable) events to low (observable) events: the less the degree of dependency of low events on high traces, the more secure the system. We take the abstract view that low events are drawn from a generic semiring, where they can be combined using product and sum operations; throughout the paper, we provide instances of this framework, obtained by concrete instantiations of the underlying semiring. We specify systems via a simple process calculus, whose semantics is given as the unique homomorphism from the calculus into the set of behaviours, i.e. formal power series, seen as a final coalgebra. We provide a compositional semantics for the calculus in terms of rational operators on formal power series and show that the final and the compositional semantics coincide.
Document type :
Conference papers
Complete list of metadata

Cited literature [26 references]  Display  Hide  Download
Contributor : Hal Ifip Connect in order to contact the contributor
Submitted on : Wednesday, August 6, 2014 - 4:24:51 PM
Last modification on : Tuesday, December 7, 2021 - 4:26:03 PM
Long-term archiving on: : Wednesday, November 26, 2014 - 12:56:51 AM


Files produced by the author(s)


Distributed under a Creative Commons Attribution 4.0 International License



Michele Boreale, David Clark, Daniele Gorla. A Semiring-Based Trace Semantics for Processes with Applications to Information Leakage Analysis. 6th IFIP TC 1/WG 2.2 International Conference on Theoretical Computer Science (TCS) / Held as Part of World Computer Congress (WCC), Sep 2010, Brisbane, Australia. pp.340-354, ⟨10.1007/978-3-642-15240-5_25⟩. ⟨hal-01054448⟩



Record views


Files downloads