On the efficiency modelling of cryptographic protocols by means of the quality of protection modelling language (QoP-ML)

Authors:
Bogdan Ksiezopolski;Damian Rusinek;Adam Wierzbicki
Affiliations:
Polish-Japanese Institute of Information Technology, Warsaw, Poland, Institute of Computer Science, Maria Curie-Sklodowska University, Lublin, Poland;Institute of Computer Science, Maria Curie-Sklodowska University, Lublin, Poland;Polish-Japanese Institute of Information Technology, Warsaw, Poland
Venue:
ICT-EurAsia'13 Proceedings of the 2013 international conference on Information and Communication Technology
Year:
2013

Citing 9
Cited 0

Security Metrics: Replacing Fear, Uncertainty, and Doubt

Security Metrics: Replacing Fear, Uncertainty, and Doubt
Performance analysis of security aspects in UML models

WOSP '07 Proceedings of the 6th international workshop on Software and performance
Tools for secure systems development with UML

International Journal on Software Tools for Technology Transfer (STTT)
Quality-of-Protection (QoP): A Quantitative Methodology to Grade Security Services

ICDCSW '08 Proceedings of the 2008 The 28th International Conference on Distributed Computing Systems Workshops
Quality of protection analysis and performance modeling in IP multimedia subsystem

Computer Communications
CMAC, CCM and GCM/GMAC: Advanced modes of operation of symmetric block ciphers in wireless sensor networks

Information Processing Letters
Secure Systems Development with UML

Secure Systems Development with UML
Adversary-driven state-based system security evaluation

Proceedings of the 6th International Workshop on Security Measurements and Metrics
Security requirements for e-government services: a methodological approach for developing a common PKI-based security policy

Computer Communications

Quantified Score

Hi-index	0.00

Visualization

Abstract

The problem of efficiency in the IT systems is now widely discussed. One of the factors affecting the performance of IT systems is implementation and maintaining a high level of security. In many cases the guaranteed security level is too high in relation to the real threats. The implementation and maintenance of this protection level is expensive in terms of both productivity and financial costs. The paper presents the analysis of TLS Handshake protocol in terms of quality of protection performed by the Quality of Protection Modelling Language (QoP-ML). The analysis concerns efficiency.