Login / Signup
A Semiring-Based Trace Semantics for Processes with Applications to Information Leakage Analysis.
Michele Boreale
David Clark
Daniele Gorla
Published in:
IFIP TCS (2010)
Keyphrases
</>
data sets
digital images