ePubs

The open archive for STFC research publications

Full Record Details

Persistent URL	http://purl.org/net/epubs/work/41630
Record Status	Checked
Record Id	41630
Title	Implementing protocol verification for E-Commerce
Contributors	B Aziz (Dublin City U.), D Gray (Dublin City U.), G Hamilton (Dublin City U.), F Oehl (Dublin City U.), J Power (NUI Maynooth), D Sinclair (Dublin City U.)
Abstract	This paper presents a survey of the practical application of protocol verification techniques to applica tions 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.
Organisation	CCLRC
Keywords	Engineering , cryptographic protocols , theorem proving , model checking , static analysis
Funding Information
Related Research Object(s):
Licence Information:
Language	English (EN)

Type	Details	URI(s)	Local file(s)	Year
Paper In Conference Proceedings	In Second International Conference on Advances in Infrastructure for E-Business, E-Science and E-Education on the Internet (SSGRR 2001), L'Aquila, Italy, 6-12 Aug 2001, (2001).		ssgrr01.ps	2001