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]

Authors

Ruggero Lanotte

This author has not been identified. Look up 'Ruggero Lanotte' in Google

Andrea Maggiolo-Schettini

This author has not been identified. Look up 'Andrea Maggiolo-Schettini' in Google

Angelo Troina

This author has not been identified. Look up 'Angelo Troina' in Google