Skip to main content

Publication

On the logical verification of key exchange protocols for mobile communications
Newe T.;Coffey T.
(2003)
On the logical verification of key exchange protocols for mobile communications in Recent Advances In Communications And Computer Science