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