Bogdan Ksiezopolski, Damian Rusinek, Adam Wierzbicki. On the Efficiency Modelling of Cryptographic Protocols by Means of the Quality of Protection Modelling Language (QoP-ML). In Khabib Mustofa, Erich J. Neuhold, A Min Tjoa, Edgar Weippl, Ilsun You, editors, Information and Communicatiaon Technology - International Conference, ICT-EurAsia 2013, Yogyakarta, Indonesia, March 25-29, 2013. Proceedings. Volume 7804 of Lecture Notes in Computer Science, pages 261-270, Springer, 2013. [doi]
Abstract is missing.