An Overview of the Formal Verification on the Digital Marketplace Cryptographic Protocols. / Goo, Swee Keow; Irvine, James; Tomlinson, Allan.

2006.

Research output: Contribution to conferencePaper

Published

Standard

An Overview of the Formal Verification on the Digital Marketplace Cryptographic Protocols. / Goo, Swee Keow; Irvine, James; Tomlinson, Allan.

2006.

Research output: Contribution to conferencePaper

Harvard

APA

Vancouver

Author

BibTeX

@conference{04df738bc2924c9b9df4b802514f5cd4,
title = "An Overview of the Formal Verification on the Digital Marketplace Cryptographic Protocols",
author = "Goo, {Swee Keow} and James Irvine and Allan Tomlinson",
year = "2006",
month = jun,
day = "1",
language = "Undefined/Unknown",

}

RIS

TY - CONF

T1 - An Overview of the Formal Verification on the Digital Marketplace Cryptographic Protocols

AU - Goo, Swee Keow

AU - Irvine, James

AU - Tomlinson, Allan

PY - 2006/6/1

Y1 - 2006/6/1

M3 - Paper

ER -