MURAL - Maynooth University Research Archive Library

    Implementing protocol verification for E-Commerce

    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.

    Download (177kB) | Preview

    Share your research

    Twitter Facebook LinkedIn GooglePlus Email more...

    Add this article to your Mendeley library


    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
      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)

      View Item Item control page


      Downloads per month over past year

      Origin of downloads