Gehe zum Hauptmenü Zur Suchmaschine gehen Zum Inhalt springen

Śląska Biblioteka Cyfrowa

Deutsch
English
polski

Startseite
Schlesische Digitale Bibliothek
Publikationen der Teilnehmer
Częstochowa
Nowa kolekcja
Using probabilistic automata for security protocols verification

Details zum Objekt: Using probabilistic automata for security protocols verification

Zur gesamten Sammlung des Objekts gehen

Struktur

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

Siehe Beschreibung der Publikationsgruppe

Beschreibung

Titel:
Using probabilistic automata for security protocols verification
Group title:
Journal of Applied Mathematics and Computational Mechanics
Verfasser:
Siedlecka-Lamch Olga
;
Kurkowski Mirosław
;
Piątkowski Jacek
Thema und Schlagwörter:
verification of security protocols
;
probabilistic methods
Herausgeber:
Wydaw. Politechniki Częstochowskiej
Verlagsort:
Częstochowa
Datum:
2016
Bestandestyp:
artykuł
Format:
pdf
Identifikation des Bestandes: oai:www.sbc.org.pl:309480
Sprache:
eng
Bereich:
2013-
Besitzen:
Biblioteka Główna Politechniki Częstochowskiej

Das Objekt befindet sich in den Sammlungen:

Didaktische und wissenschaftliche Schriften

Publikationen der Teilnehmer

Zusätzliche Informationen

Erstellungsdatum: 2018-04-20
Zuletzt geändert am: 2020-02-12
Anzahl der Ansichten des Inhaltsobjekts: 43
Sie können auch die Beschreibung des Objekts in diesen Formaten herunterladen:
RDF
;
OAI-PMH
Historische Texterkennung:
beginnen Sie mit der Transkription des Objekts

Siehe auch

Timed models of security protocols including delays in the network

Ersteller:Szymoniak Sabina; Kurkowski Mirosław; Piątkowski Jacek

Datum:2015

Typ:artykuł

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

Ersteller:Piątkowski Jacek

Datum:2016

Typ:artykuł

An approach to exponentiation with interval-valued power

Ersteller:Tikhonenko-Kędziak Anna; Kurkowski Mirosław

Datum:2016

Typ:artykuł

Informationen zur Finanzierung

Das Projekt wird von der Europäischen Union aus dem Europäischen Fonds für regionale Entwicklung im Rahmen des Regionalen Operationellen Programms der Woiwodschaft Schlesien für die Jahre 2014 – 2020 Schlesisches Digitarium kofinanziert. Digitalisierung und Zugang zu den Ressourcen der Kultureinrichtungen der Woiwodschaft Schlesien.

Partner1

Partner1

Wir verwenden Dateien durch die Cookie-Qualitätsverbesserungsschicht unserer Website. Für weitere Informationen, lesen Sie bitte das Dokument Datenschutzbestimmungen