Skip to main content

Publication

Formal verification logic for hybrid security protocols
Newe T.;Coffey T.
(2003)
Formal verification logic for hybrid security protocols in Computer Systems Science And Engineering