%0 Conference Proceedings
%T On the Efficiency Modelling of Cryptographic Protocols by Means of the Quality of Protection Modelling Language (QoP-ML)
%+ Polish-Japanese Institute of Information Technology
%+ Maria Curie-Sklodowska University
%A Ksiezopolski, Bogdan
%A Rusinek, Damian
%A Wierzbicki, Adam
%Z Part 2: Asian Conference on Availability, Reliability and Security (AsiaARES)
%< avec comité de lecture
%( Lecture Notes in Computer Science
%B 1st International Conference on Information and Communication Technology (ICT-EurAsia)
%C Yogyakarta, Indonesia
%Y David Hutchison
%Y Takeo Kanade
%Y Madhu Sudan
%Y Demetri Terzopoulos
%Y Doug Tygar
%Y Moshe Y. Vardi
%Y Gerhard Weikum
%Y Khabib Mustofa
%Y Erich J. Neuhold
%Y A Min Tjoa
%Y Edgar Weippl
%Y Ilsun You
%Y Josef Kittler
%Y Jon M. Kleinberg
%Y Friedemann Mattern
%Y John C. Mitchell
%Y Moni Naor
%Y Oscar Nierstrasz
%Y C. Pandu Rangan
%Y Bernhard Steffen
%I Springer
%3 Information and Communicatiaon Technology
%V LNCS-7804
%P 261-270
%8 2013-03-25
%D 2013
%R 10.1007/978-3-642-36818-9_27
%Z Computer Science [cs]Conference papers
%X 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.
%G English
%Z TC 5
%Z TC 8
%2 https://inria.hal.science/hal-01480233/document
%2 https://inria.hal.science/hal-01480233/file/978-3-642-36818-9_27_Chapter.pdf
%L hal-01480233
%U https://inria.hal.science/hal-01480233
%~ IFIP-LNCS
%~ IFIP
%~ IFIP-TC
%~ IFIP-TC5
%~ IFIP-TC8
%~ IFIP-ICT-EURASIA
%~ IFIP-LNCS-7804