Thesis icon

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


Authors


More by this author
Institution:
University of Oxford
Research group:
Security
Oxford college:
Keble College
Department:
Mathematical,Physical & Life Sciences Division - Computing Laboratory

Contributors

Role:
Supervisor
Publication date:
2008
Type of award:
DPhil
Level of award:
Doctoral
Awarding institution:
Oxford University, UK
URN:
uuid:05840052-8ca2-452d-91d1-391816ad5633
Local pid:
ora:2769

Terms of use


Metrics



If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP