The Verification Logic for Secure Transaction Protocols

Chen, Q; Zhang, C

The Verification Logic for Secure Transaction Protocols

Chen, Q Zhang, C

Permalink

Publisher:: Peoples Posts and Telecommunications Publishing House
Publication Type:: Conference Proceeding
Citation:: Proceedings International Conference on Intelligent Information Technology, 2002, pp. 326 - 333
Issue Date:: 2002-01

Open Access

Copyright Clearance Process

Recently Added
In Progress
Open Access

This item is open access.

Adobe PDF

Download full textAdobe PDF (677.8 kB)

View statistics

Full metadata record

Field	Value	Language
dc.contributor.author	Chen, Q	en_US
dc.contributor.author	Zhang, C https://orcid.org/0000-0001-5715-7154	en_US
dc.contributor.editor	Shi, Z	en_US
dc.contributor.editor	Ha, Q	en_US
dc.date	2002-09-22	en_US
dc.date.issued	2002-01	en_US
dc.identifier.citation	Proceedings International Conference on Intelligent Information Technology, 2002, pp. 326 - 333	en_US
dc.identifier.uri	http://hdl.handle.net/10453/6779
dc.publisher	Peoples Posts and Telecommunications Publishing House	en_US
dc.relation.ispartof	Proceedings International Conference on Intelligent Information Technology	en_US
dc.relation.ispartof	ICIIT 2002	en_US
dc.title	The Verification Logic for Secure Transaction Protocols	en_US
dc.type	Conference Proceeding
utslib.location	China	en_US
utslib.location.activity	China	en_US
utslib.for	080101 Adaptive Agents and Intelligent Robotics	en_US
utslib.for	080109 Pattern Recognition and Data Mining	en_US
dc.location.activity	China	en_US
pubs.embargo.period	Not known	en_US
pubs.organisational-group	/University of Technology Sydney
pubs.organisational-group	/University of Technology Sydney/DVC (International)
pubs.organisational-group	/University of Technology Sydney/Faculty of Engineering and Information Technology
pubs.organisational-group	/University of Technology Sydney/Strength - ACRI - Australia China Relations Institute
pubs.organisational-group	/University of Technology Sydney/Strength - CAI - Centre for Artificial Intelligence
utslib.copyright.status	open_access
pubs.consider-herdc	true	en_US
pubs.place-of-publication	China	en_US
pubs.start-date	2002-09-22	en_US

Please use this identifier to cite or link to this item:

http://hdl.handle.net/10453/6779