Know Your Enemy: Compromising Adversaries in Protocol Analysis

David A. Basin, Cas Cremers. Know Your Enemy: Compromising Adversaries in Protocol Analysis. ACM Trans. Inf. Syst. Secur., 17(2):7, 2014. [doi]

Abstract

Abstract is missing.