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

July

Status

Published

Peer Reviewed

1

Times Cited

()

Optional Fields

Search Keyword

Editors

Start Page

End Page

Location

Start Date

End Date

Abstract

Funded By

URL

DOI Link

Grant Details

Funding Body

Grant Details