Biblioteka UMCS

Przejdź do menu głównego
Przejdź do wyszukiwarki
Przejdź do treści
Przejdź do stopki

obiektów na stronie

Dodaj wszystkie do bibliografii

z 1

Effective reduction of cryptographic protocols specification for model-checking with Spin

Krawczyk, Urszula Sapiecha, Piotr Uniwersytet Marii Curie-Skłodowskiej (Lublin)

2011

czasopismo

Automatic detection of DoS vulnerabilities of cryptographic protocols

Krawczyk, Urszula Sapiecha, Piotr Uniwersytet Marii Curie-Skłodowskiej (Lublin)

2012

czasopismo

1
z
1

Dane kontaktowe

Adres

Biblioteka UMCS
ul. Radziszewskiego 11
20-031 Lublin, Poland

Telefon

(+48) 81 537 58 16

E-Mail

j.startek@umcs.pl

u.zielinska@umcs.pl

Odwiedź nas!

https://www.umcs.pl/pl/biblioteka.htm

Ta strona wykorzystuje pliki 'cookies'. Więcej informacji