Conference Publication Details

Mandatory Fields

Authors

Newe, T., Coffey, T.

Conference Title

7th International Conference on EMES ’99

Title of Paper

Formal Testing & Algebraic Modelling Techniques for Verifying Cryptographic Protocols

Year

1999

Month

May

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