A Classification of Time and/or Probability Dependent Security Properties

Ruggero Lanotte, Andrea Maggiolo-Schettini, Angelo Troina. A Classification of Time and/or Probability Dependent Security Properties. Electronic Notes in Theoretical Computer Science, 153(2):177-193, 2006. [doi]

Abstract

Abstract is missing.