Login / Signup
A Sound Decision Procedure for the Compositionality of Secrecy.
Martín Ochoa
Jan Jürjens
Daniel Warzecha
Published in:
ESSoS (2012)
Keyphrases
</>
decision making
decision makers
search procedure
decision rules
database
information systems
similarity measure
low cost
simulated annealing
decision processes
spread spectrum