Skip to main content

Publication

Home | On the logical verification of key exchange protocols for mobile communications
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