C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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