EPSRC logo

Details of Grant 

EPSRC Reference: GR/R01156/01
Title: Verifying Electronic Commerce Protocols
Principal Investigator: Paulson, Professor LC
Other Investigators:
Researcher Co-Investigators:
Project Partners:
Department: Computer Science and Technology
Organisation: University of Cambridge
Scheme: Standard Research (Pre-FEC)
Starts: 12 October 2000 Ends: 11 October 2003 Value (£): 149,442
EPSRC Research Topic Classifications:
Fundamentals of Computing Networks & Distributed Systems
EPSRC Industrial Sector Classifications:
Communications Financial Services
Retail
Related Grants:
Panel History:  
Summary on Grant Application Form
Security protocols protect messages sent over a network from being tampered with. Electronic commerce requires protocols of great complexity. To make a purchase over the Internet, the customer typically uses his credit card. The SET protocol aims to protect sensitive information such as the credit card number, even from the merchant.With previous EPSRC funding, the principal investigator has developed an inductive method for analysing security protocols. The project objective is to conduct an analysis of some e-commerce protocols, including SET. The project will identify and analyse those elements of SET that are of scientific interest. By focussing on the top-level architecture, we expect out analysis to be relevant to other e-commerce protocols
Key Findings
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
Potential use in non-academic contexts
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
Impacts
Description This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
Summary
Date Materialised
Sectors submitted by the Researcher
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
Project URL:  
Further Information:  
Organisation Website: http://www.cam.ac.uk