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
Original languageUndefined/Unknown
Publication statusPublished - 1 Jun 2006

ID: 4660710