Skip to main content

Publication

On the Logical Verification of Key Exchange Protocols for Mobile Communications
Newe, T; Coffey, T
Recent Advances in Communications and Computer Science (2003)