Przejdź do menu głównego Przejdź do wyszukiwarki Przejdź do zawartości

Śląska Biblioteka Cyfrowa

Strona główna
Śląska Biblioteka Cyfrowa
Publikacje Uczestników
Częstochowa
Politechnika Częstochowska
Using probabilistic automata for security protocols verification

Szczegóły obiektu: Using probabilistic automata for security protocols verification

Zobacz całą kolekcję, do której należy ten obiekt

Struktura

Prace Naukowe Instytutu Matematyki i Informatyki=Scientific Research of the Institute of Mathematics and Computer Science.

Zobacz opis publikacji grupowej

Opis

Tytuł:
Using probabilistic automata for security protocols verification
Tytuł publikacji grupowej:
Journal of Applied Mathematics and Computational Mechanics
Autor:
Siedlecka-Lamch Olga
;
Kurkowski Mirosław
;
Piątkowski Jacek
Temat i słowa kluczowe:
verification of security protocols
;
probabilistic methods
Wydawca:
Wydaw. Politechniki Częstochowskiej
Miejsce wydania:
Częstochowa
Data wydania:
2016
Typ zasobu:
artykuł
Format:
pdf
Identyfikator zasobu: oai:www.sbc.org.pl:309480
Język:
eng
Zakres:
2013-
Lokalizacja oryginału:
Biblioteka Główna Politechniki Częstochowskiej

Obiekt znajduje się w kolekcjach:

Materiały dydaktyczne i naukowe

Publikacje Uczestników

Politechnika Częstochowska

Informacje dodatkowe

Data utworzenia: 2018-04-20
Data ostatniej modyfikacji: 2020-02-12
Liczba wyświetleń treści obiektu: 44
Możesz również pobrać opis tego obiektu w formatach:
RDF
;
OAI-PMH
Rozpoznawanie Tekstów Historycznych:
rozpocznij transkrypcję obiektu

Zobacz także

Timed models of security protocols including delays in the network

Twórca:Szymoniak Sabina; Kurkowski Mirosław; Piątkowski Jacek

Data:2015

Typ:artykuł

The visualization of shaft vibration using the algorithm of phase-amplitude data interpolation

Twórca:Piątkowski Jacek

Data:2016

Typ:artykuł

An approach to exponentiation with interval-valued power

Twórca:Tikhonenko-Kędziak Anna; Kurkowski Mirosław

Data:2016

Typ:artykuł

Informacja o finansowaniu

Projekt współfinansowany przez Unię Europejską z Europejskiego Funduszu Rozwoju Regionalnego w ramach Regionalnego Programu Operacyjnego Województwa Śląskiego na lata 2014 – 2020 „Śląskie Digitarium. Digitalizacja i udostępnianie zasobów instytucji kultury województwa śląskiego”.

Partner1

Partner1

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