Formal verification logic for hybrid security protocols
(2003)
Formal verification logic for hybrid security protocols in Computer Systems Science And Engineering
Formal verification logic for hybrid security protocols in Computer Systems Science And Engineering