Effective reduction of cryptographic protocols specification for model-checking with Spin - Krawczyk, Urszula; Sapiecha, Piotr (Wydaw. Uniwersytetu Marii Curie-Skłodowskiej)