Skip to main content

Publication

A Formal Logic for the Verification of Hybrid Security Protocols and its Appliation
Newe, T
(2003)