Defense Dissertation Christoph Egger: “On Abstraction and Modularization in Protocol Analysis”