Book Details

Mandatory Fields

Authors

Newe, T.;Coffey, T.;

Year

2003

Month

Publication Title

On the logical verification of key exchange protocols for mobile communications

Publisher

Publisher's Location

Status

Published

Peer Reviewed

1

Optional Fields

Search Keyword

Abstract

Edition

ISBN / ISSN

Editors

URL

No. of Pages

DOI Link

Grant Details

Funding Body

Grant Details