A Semiring-Based Trace Semantics for Processes with Applications to Information Leakage Analysis
From MaRDI portal
Publication:3163895
DOI10.1007/978-3-642-15240-5_25zbMath1198.68118OpenAlexW1531406439MaRDI QIDQ3163895
David Clark, Daniele Gorla, Michele Boreale
Publication date: 27 October 2010
Published in: IFIP Advances in Information and Communication Technology (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-15240-5_25
Related Items (1)
This page was built for publication: A Semiring-Based Trace Semantics for Processes with Applications to Information Leakage Analysis
