Practical applications of performance modelling of security protocols using PEPA
Trade-off between security and performance has become an intriguing area in recent years in both the security and performance communities. As the security aspects of security protocol research is fully- edged, this thesis is therefore devoted to conducting a performance study of these protocols. The...
Main Author: | Zhao, Yishi |
---|---|
Published: |
University of Newcastle upon Tyne
2011
|
Subjects: | |
Online Access: | http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.566875 |
Similar Items
-
The application of software and safety engineering techniques to security protocol development
by: Foster, Nathalie Louise
Published: (2002) -
A CSP approach to the analysis of security protocols
by: Hui, Mei Lin
Published: (2001) -
Evaluating the impact of security measures on performance of secure web applications hosted on virtualised platforms
by: Babatunde, John Oluwole
Published: (2015) -
A Search-Based Framework for Security Protocol Synthesis
by: Chen, Hao
Published: (2007) -
Formal analysis of modern security protocols in current standards
by: Horvat, Marko
Published: (2015)