Liqun Chen Steve Kremer Mark Dermot Ryan Formal Protocol Verification Applied 07421 2008 Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany Dagstuhl Seminar Proceedings db/conf/dagstuhl/P7421.html