Book Chapter Details

Mandatory Fields

Authors

Newe, T; Coffey, T

Year / Month

2003 July

Book Title

Recent Advances in Communications and Computer Science

Publication Title

On the Logical Verification of Key Exchange Protocols for Mobile Communications

Publisher

Publisher Location

Status

Published

Peer Reviewed

1

Optional Fields

Search Keyword

Abstract

Editors

ISBN / ISSN

960-8052-86-6

URL

Start Page

76

End Page

81

DOI Link

Grant Details

Funding Body

Grant Details