On the modelling of Kerberos protocol in the Quality of Protection Modelling Language (QoP-ML) - Ksiopolski, Bogdan; Rusinek, Damian; Wierzbicki, Adam (Wydaw. Uniwersytetu Marii Curie-Skłodowskiej)