Go to main menu Go to search engine Skip to content

Śląska Biblioteka Cyfrowa

Deutsch
English
polski

Homepage
Silesian Digital Library
Publications of the Participants
Częstochowa
Nowa kolekcja
Using probabilistic automata for security protocols verification

Object's details: Using probabilistic automata for security protocols verification

Go to the whole object's collection

Structure

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

See the description of publication group

Description

Title:
Using probabilistic automata for security protocols verification
Group title:
Journal of Applied Mathematics and Computational Mechanics
Creator:
Siedlecka-Lamch Olga
;
Kurkowski Mirosław
;
Piątkowski Jacek
Subject and Keywords:
verification of security protocols
;
probabilistic methods
Publisher:
Wydaw. Politechniki Częstochowskiej
Place of publishing:
Częstochowa
Date:
2016
Resource Type:
artykuł
Format:
pdf
Resource Identifier: oai:www.sbc.org.pl:309480
Language:
eng
Coverage:
2013-
Oryginal in:
Biblioteka Główna Politechniki Częstochowskiej

Object is located in the collections:

Educational materials

Publications of the Participants

Additional information

Creation date: 2018-04-20
Last modification date: 2020-02-12
Content object's number of views: 43
You could also download the object's description in these formats:
RDF
;
OAI-PMH
Historical Text Recognition:
start transcribing the object

See also

Timed models of security protocols including delays in the network

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

Date:2015

Type:artykuł

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

Creator:Piątkowski Jacek

Date:2016

Type:artykuł

An approach to exponentiation with interval-valued power

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

Date:2016

Type:artykuł

Information on financing

The project is co-financed by the European Union from the European Regional Development Fund under the Regional Operational Program of the Silesian Voivodeship for the years 2014 - 2020 Silesian Digitarium. Digitization and access to the resources of cultural institutions of the Silesian Voivodeship.

Partner1

Partner1

We use files, through the cookie quality improvement layer of our website.For more information, please read the document Privacy Policy