Thesis
On the specification and analysis of secure transport layers
- Abstract:
-
The world is becoming strongly dependent on computers, and on distributed communication between computers. As a result of this, communication security is important, sometimes critically so, to many day-to-day activities. Finding strategies for discovering attacks against security protocols and for proving security protocols correct is an important area of research. An increasingly popular technique that is used to simplify the design of security protocols is to rely on a secure transport l...
Expand abstract
Actions
Bibliographic Details
- Publication date:
- 2008
- Type of award:
- DPhil
- Level of award:
- Doctoral
- Awarding institution:
- University of Oxford
Item Description
- Language:
- English
- Keywords:
- Subjects:
- UUID:
-
uuid:05840052-8ca2-452d-91d1-391816ad5633
- Local pid:
- ora:2769
- Deposit date:
- 2009-04-30
Terms of use
- Copyright holder:
- Dilloway, C
- Copyright date:
- 2008
If you are the owner of this record, you can report an update to it here: Report update to this record