Formal Eavesdropping and Its Computational Interpretation

Jan Jürjens
TACS(2001), pp. 82-94

Abstract

Research Areas