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)