Aziz, B. and Gray, D. and Hamilton, G. and Oehl, F. and Power, James F. and Sinclair, D. (2001) Implementing protocol verification for E-Commerce. In: International Conference on Advances in Infrastructure for Electronic Business, Science, and Education on the Internet, 6-12 August 2001, L'Aquila, Italy.

Preview

Download (177kB) | Preview

Abstract

This paper presents a survey of the practical application of protocol verification techniques to applications in e­commerce. We concentrate in particular on logic­ based approaches, and review the current state of the art as well as the prospects for realistic deployment of protocol verification techniques in the near future.

Item Type:	Conference or Workshop Item (Paper)
Keywords:	protocol verification; E-Commerce; applications;
Academic Unit:	Faculty of Science and Engineering > Computer Science
Item ID:	6435
Depositing User:	Dr. James Power
Date Deposited:	01 Oct 2015 14:55
Refereed:	No
URI:
Use Licence:	This item is available under a Creative Commons Attribution Non Commercial Share Alike Licence (CC BY-NC-SA). Details of this licence are available here

Repository Staff Only(login required)

Item control page

Downloads

Origin of downloads