Jump to Content

Formal Eavesdropping and Its Computational Interpretation

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

Abstract

Research Areas