Peer-Reviewed Journal Details

Mandatory Fields

Authors

Newe T., Coffey T.

Year

2003

Month

Journal

Recent Advances In Communications And Computer Science

Title

On the logical verification of key exchange protocols for mobile communications

Status

Published

Times Cited

()

Optional Fields

Search Keyword

Volume

0

Issue

0

Start Page

76

End Page

81

Abstract

Publisher Location

ISBN / ISSN

9608052866

Edition

URL

DOI Link

Grant Details

Funding Body

Grant Details