Conference Publication Details

Mandatory Fields

Authors

Newe, T., Coffey, T.

Conference Title

7th WSEAS International Conference on COMMUNICATIONS

Title of Paper

On the Logical Verification of Key Exchange Protocols for Mobile Communications

Year

2003

Month

Status

Published

Peer Reviewed

Times Cited

()

Optional Fields

Search Keyword

Editors

*

Start Page

*

End Page

*

Location

Start Date

07-JUL-03

End Date

10-JUL-03

Abstract

Funded By

*

URL

DOI Link

Grant Details

Funding Body

Grant Details