Formal verification of merchant registration phase of SETProtocol

Ma, X. ORCID: 0000-0003-0074-4192 and Cheng, X., 2005. Formal verification of merchant registration phase of SETProtocol. International Journal of Automation and Computing, 2005 (2), pp. 155-162.

Full text not available from this repository.
Item Type: Journal article
Publication Title: International Journal of Automation and Computing
Creators: Ma, X. and Cheng, X.
Date: 2005
Volume: 2005
Number: 2
Divisions: Schools > School of Science and Technology
Depositing User: EPrints Services
Date Added: 09 Oct 2015 10:18
Last Modified: 09 Jun 2017 13:25
URI: http://irep.ntu.ac.uk/id/eprint/10896

Actions (login required)

Edit View Edit View

Views

Views per month over past year

Downloads

Downloads per month over past year