B. Ksiezopolski, Z. Kotulski, and P. Szalachowski, “On QoP method for ensuring availability of the goal of cryptographic protocols in the real-time systems,” in Proceedings of the European Teletraffic Seminar, pp. 195–202, 2011.