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 Laboratory
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
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
No information has been submitted for this grant.
Potential use in non-academic contexts
No information has been submitted for this grant.
No information has been submitted for this grant.
Sectors submitted by the Researcher
No information has been submitted for this grant.
Project URL:  
Further Information:  
Organisation Website: http://www.cam.ac.uk