Federacja Bibliotek Cyfrowych

Strona główna
Biblioteka Cyfrowa UMCS
Effective reduction of cryptographic protocols specification for model-checking with Spin

Szczegóły obiektu: Effective reduction of cryptographic protocols specification for model-checking with Spin

tile.noImage

Instytucja dostarczająca:Biblioteka Cyfrowa UMCS

Opis

Tytuł:
Effective reduction of cryptographic protocols specification for model-checking with Spin
Twórca:
Krawczyk, Urszula;
Sapiecha, Piotr
Współtwórca:
Uniwersytet Marii Curie-Skłodowskiej (Lublin)
Opis:
Artykuł z: Annales Universitatis Mariae Curie-Skłodowska, Sectio AI, Informatica, Vol. 11,3 (2011), s. 27-40
Dostępność obiektu:
Dostęp otwarty
Prawa:
Biblioteka Uniwersytetu Marii Curie-Skłodowskiej
Data:
2011
Typ:
czasopismo
Język:
angielski
Format:
image/vnd.djvu
Wydawca:
Wydaw. Uniwersytetu Marii Curie-Skłodowskiej
Relacja:
Annales Universitatis Mariae Curie-Skłodowska. Sectio AI, Informatica. Vol. 11,3 (2011)
Dostawca danych:
Biblioteka Cyfrowa UMCS

Czy mogę z tego obiektu skorzystać?:
poproś o pozwolenie
Rodzaj zawartości:
teksty

Podobne obiekty

tile.noImage

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

Twórca:Krawczyk, Urszula | Sapiecha, Piotr

Data:2011

Rodzaj zawartości:teksty

tile.noImage

Automatic detection of DoS vulnerabilities of cryptographic protocols

Twórca:Krawczyk, Urszula | Sapiecha, Piotr

Data:2012

Rodzaj zawartości:teksty

tile.noImage

The High-Level Practical Overview of Open-Source Privacy-Preserving Machine Learning Solutions

Twórca:Kuźniewski, Konrad | Matusiewicz, Krystian | Sapiecha, Piotr

Data:2022.12.19

Rodzaj zawartości:obrazy

tile.noImage

Organic compounds in rainfall at Hornsund, SW Spitsbergen: qualitative results

Twórca:Krawczyk, Wiesława Ewa | Skręt, Urszula

Data:2005.12.31 | 2005

Rodzaj zawartości:obrazy

tile.noImage

Block Cipher Based Public Key Encryption via Indistinguishability Obfuscation

Twórca:Horubała, Aleksandra | Waszkiewicz, Daniel | Andrzejczak, Michał | Sapiecha, Piotr

Data:2018.05.15

Rodzaj zawartości:obrazy

tile.noImage

Confidential Greedy Graph Algorithm

Twórca:Waszkiewicz, Daniel | Horubała, Aleksandra | Sapiecha, Piotr | Andrzejczak, Michał

Data:2018.05.15

Rodzaj zawartości:obrazy

tile.noImage

ID-based, Proxy, Threshold Signature Scheme

Twórca:Pomykała, Jacek | Kułakowski, Henryk | Sapiecha, Piotr | Grela, Błażej

Data:2021.05.25

Rodzaj zawartości:obrazy

tile.noImage

A hybrid approach to a classification problem

Twórca:Sęp, Krzysztof | Sapiecha, Piotr | Selvaraj, Henry | Stańczak, Jarosław | Łuba, Tadeusz (1946– )

Data:2003.12.31 | 2003

Rodzaj zawartości:teksty

Projekt FBC TeNe

Projekt dofinansowany z Funduszy Europejskich w ramach Programu Operacyjnego Polska Cyfrowa na lata 2014-2020 (projekt nr POPC.02.04.00-00-0012/20-00)

Więcej informacji o projekcie znajdziesz na stronie: https://tene.fbc.pionier.net.pl/

Fundusze Europejskie. Polska Cyfrowa

Rzeczpospolita Polska

FBC - Federacja Bibliotek Cyfrowych

Unia Europejska - Europejski Fundusz Rozwoju Regionalnego

Używamy plików cookies, by nieustannie zwiększać komfort przeglądania naszej strony internetowej. W celu uzyskania szczegółowych informacji, prosimy o zapoznanie się z dokumentem Polityki Prywatności