Share and Export
Share and Export
Aziz, B., Gray, D., Hamilton, G., Oehl, F., 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
JP-Protocol-verification.pdf
Download (177kB) | Preview
Abstract
This paper presents a survey of the practical application of protocol verification techniques to applications in ecommerce. 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: | https://mural.maynoothuniversity.ie/id/eprint/6435 |
| 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
Downloads per month over past year
