On the specification and analysis of secure transport layers

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

Full description

Bibliographic Details
Main Author: Dilloway, C
Other Authors: Lowe, G
Format: Thesis
Language:English
Published: 2008
Subjects: