Andrew D. Gordon: Provable Implementations of Security Protocols. LICS 2006: 345-346