Verteidigung Dissertation von Christoph Egger: „On Abstraction and Modularization in Protocol Analysis“