Login / Signup
A Classification of Time and/or Probability Dependent Security Properties.
Ruggero Lanotte
Andrea Maggiolo-Schettini
Angelo Troina
Published in:
Electron. Notes Theor. Comput. Sci. (2006)
Keyphrases
</>
security properties
security analysis
formal model
distributed systems
machine learning
low cost