Autor: Krawczyk, U. - Katalog OPAC zbiorów

Skocz do pozycji: 1.

Tytuł:: Automatic detection of DoS vulnerabilities of cryptographic protocols
Autorzy:: Krawczyk, U.
Sapiecha, P.
Powiązania:: https://bibliotekanauki.pl/articles/106293.pdf
Data publikacji:: 2012
Wydawca:: Uniwersytet Marii Curie-Skłodowskiej. Wydawnictwo Uniwersytetu Marii Curie-Skłodowskiej
Tematy:: automatic detection
DoS
denial of service attacks
Petri net
SPIN model checker
Opis:: In this article the subject of DoS vulnerabilities of cryptographic key establishment and authentication protocols is discussed. The system for computer-aided DoS protocol resistance analysis, which employs the Petri nets formalism and Spin model-checker, is presented.
Źródło:: Annales Universitatis Mariae Curie-Skłodowska. Sectio AI, Informatica; 2012, 12, 4; 51-67
1732-1360
2083-3628
Pojawia się w:: Annales Universitatis Mariae Curie-Skłodowska. Sectio AI, Informatica
Dostawca treści:: Biblioteka Nauki

Artykuł

Skocz do pozycji: 2.

Tytuł:: Analiza możliwości zastosowania różnych źródeł ciepła dla budynku Ośrodka Kultury i Sportu
The analysis of different energy sources for building of culture and sport centre
Autorzy:: Krawczyk, D.
Żyłkiewicz, U.
Powiązania:: https://bibliotekanauki.pl/articles/402823.pdf
Data publikacji:: 2012
Wydawca:: Politechnika Białostocka. Oficyna Wydawnicza Politechniki Białostockiej
Tematy:: kotłownie
zużycie paliw
nakłady inwestycyjne
energy source
heat source
boiler house
Opis:: W artykule przestawiono porównanie trzech źródeł ciepła dla budynku użyteczności publicznej. Przeprowadzono analizę ekonomiczną, obejmującą oszacowanie i porównanie nakładów inwestycyjnych oraz kosztów eksploatacyjnych wybranych rozwiązań, a także oceniono je pod względem możliwości technicznych, zastosowania i ekologicznym, związanym z emisją zanieczyszczeń do środowiska.
The article presents the comparison of three heat sources working for the public building. An economic analysis, including estimation and comparison of investment and operating costs for selected solutions was done. Moreover technical feasibility and environmental problems were discussed.
Źródło:: Budownictwo i Inżynieria Środowiska; 2012, 3, 4; 173-177
2081-3279
Pojawia się w:: Budownictwo i Inżynieria Środowiska
Dostawca treści:: Biblioteka Nauki

Artykuł

Skocz do pozycji: 3.

Tytuł:: Acetaminophen (Paracetamol) induced acute liver failure - A social problem in an era of increasing tendency to self-treatment
Autorzy:: Wroblewski, T.
Kobryn, K.
Koziel, S.
Oldakowska-Jedynak, U.
Pinkas, J.
Danielewicz, R.
Ziarkiewicz-Wroblewska, B.
Krawczyk, M.
Powiązania:: https://bibliotekanauki.pl/articles/50483.pdf
Data publikacji:: 2015
Wydawca:: Instytut Medycyny Wsi
Źródło:: Annals of Agricultural and Environmental Medicine; 2015, 22, 4
1232-1966
Pojawia się w:: Annals of Agricultural and Environmental Medicine
Dostawca treści:: Biblioteka Nauki

Artykuł

Informacja