Implementing protocol verification for E-Commerce
Benjamin Aziz, David H. Gray, Gregory C. Hamilton, F. Oehl, James F. Power, David A. Sinclair · Maynooth University ePrints and eTheses Archive (Maynooth University) · 2001
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.