Formal analysis of modern security protocols in current standards
While research has been done in the past on evaluating standardised security protocols, most notably TLS, there is still room for improvement. Modern security protocols need to be rigorously and thoroughly analysed, ideally before they are widely deployed, so as to minimise the impact of often creat...
| Main Author: | |
|---|---|
| Other Authors: | |
| Published: |
University of Oxford
2015
|
| Subjects: | |
| Online Access: | https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.714052 |