Skip to main content

Publication

Home | Formal verification logic for hybrid security protocols
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