| 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 |