Skip to main content

Publication

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