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