Specification and Analysis of Secure Cryptographic Protocols Dagstuhl Seminar