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