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
Abstract This paper presents a survey of the practical application of protocol verification techniques to applica­ tions 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.
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