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