Biblioteka UMCS

Skip to main menu
Skip to search engine
Skip to content
Skip to footer

items per page

add all to bibliography

of 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
of
1

Contact details

Address

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

Phone

(+48) 81 537 58 16

E-Mail

j.startek@umcs.pl

u.zielinska@umcs.pl

Visit us!

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

This page uses 'cookies'. More information