Conference Publication Details

Mandatory Fields

Authors

Coffey T., Ventuneac M., Newe T., Salomie I.

Conference Title

IEEE-INES-2004

Title of Paper

On Investigating the Security and Fairness of a Fair Exchange Protocol using logic-based verification

Year

2004

Month

Status

Published

Peer Reviewed

Times Cited

()

Optional Fields

Search Keyword

Editors

*

Start Page

325

End Page

330

Location

Start Date

19-SEP-04

End Date

21-SEP-04

Abstract

Funded By

*

URL

DOI Link

Grant Details

Funding Body

Grant Details