| EPSRC Reference: |
GR/M33402/01 |
| Title: |
A FRAMEWORK FOR VERIFICATION OF SECURITY PROTOCOLS |
| Principal Investigator: |
Schneider, Professor SA |
| Other Investigators: |
|
| Researcher Co-Investigators: |
|
| Project Partners: |
|
| Department: |
Computer Science |
| Organisation: |
Royal Holloway, Univ of London |
| Scheme: |
Standard Research (Pre-FEC) |
| Starts: |
22 February 1999 |
Ends: |
21 February 2001 |
Value (£): |
86,076
|
| EPSRC Research Topic Classifications: |
| Fundamentals of Computing |
|
|
| EPSRC Industrial Sector Classifications: |
| Aerospace, Defence and Marine |
No relevance to Underpinning Sectors |
|
| Related Grants: |
|
| Panel History: |
|
|
Summary on Grant Application Form |
|
The project aims to develop and extend the CSP formalism for the verification of security protocols from a piece of theoretical work whose proof of concept' has been established, to the provision of usable support for the description, development and analysis of real security protocols.The aims of this programme are:- to develop a CSP framework for the specification and description of security protocols. This will provide definitions for different flavours of security property, and provide ways of modelling different security mechanisms.- to provide a uniform approach to the modelling, analysis, verification, and improvement of security protocols. This will develop techniques for protocol description and for verification within the CSP semantic framework.- to provide substantial mechanical assistance for the approach. This will involve the provision of support within the theorem prover PVS for the verification techniques developed.Communications, Computing, Formal methods, Information Security, Secure Communications, Tool Support
|
|
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: |
|