@misc{Ksiopolski_Bogdan_On,
 author={Ksiopolski, Bogdan and Rusinek, Damian and Wierzbicki, Adam},
 howpublished={online},
 publisher={Wydaw. Uniwersytetu Marii Curie-Skłodowskiej},
 language={eng},
 type={czasopismo},
 title={On the modelling of Kerberos protocol in the Quality of Protection Modelling Language (QoP-ML)},
}