Formal verification logic for hybrid security protocols.

T. Newe Tom Coffey Formal verification logic for hybrid security protocols. 17-25 2003 18 Comput. Syst. Sci. Eng. 1 db/journals/csse/csse18.html#NeweC03