Temat: verifier - Prolib Integro

Skocz do pozycji: 1.

Tytuł:: Multifactor Authentication and Key Management Protocol for WSN-assisted IoT Communication
Autorzy:: Ara, Tabassum
Prabhakar, M.
Data publikacji:: 2019
Wydawca:: Instytut Łączności - Państwowy Instytut Badawczy
Tematy:: multifactor authentication
IoT security
ECC
timestamp
one-way bio-hashing
fuzzy veriﬁer
WSN; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

Szczegóły

Skocz do pozycji: 2.

Tytuł:: A new strong multiple designated verifiers signature for broadcast propagation
Autorzy:: Tian, H.
Liu, Y.
Data publikacji:: 2012
Wydawca:: Polska Akademia Nauk. Instytut Badań Systemowych PAN
Tematy:: designated verifier signature
asymmetric group key agreement protocol
signature scheme of Schnorr
broadcast propagation; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

Szczegóły

Skocz do pozycji: 3.

Tytuł:: Improving resilience of autonomous moving platforms by real-time analysis of their cooperation
Poprawa bezpieczeństwa autonomicznych platform mobilnych drogą analizy ich współpracy w czasie rzeczywistym
Autorzy:: Czejdo, B.
Bhattacharya, S.
Baszun, M.
Daszczuk, W. B.
Data publikacji:: 2016
Wydawca:: Instytut Naukowo-Wydawniczy "SPATIUM"
Tematy:: Autonomous Moving Platforms
safety
Dedan verifier system
autonomiczne platformy mobilne
bezpieczeństwo
system weryfikacyjny Dedan; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

Szczegóły

Skocz do pozycji: 4.

Tytuł:: On the ontology of situations
O ontologii sytuacji
Autorzy:: Omyła, Mieczysław
Data publikacji:: 2018
Wydawca:: Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:: elementary situation
facts
logical locus
realization
verifier
semantic correlate
fakt
korelat semantyczny
miejsce logiczne zdania
realizacja
sytuacja elementarna
sytuacja
weryfikator zdania; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

Szczegóły

Skocz do pozycji: 5.

Tytuł:: On-the-fly diagnosability analysis of bounded and unbounded labeled Petri nets using verifier nets
Autorzy:: Li, B.
Khlif-Bouassida, M.
Toguéyni, A.
Data publikacji:: 2018
Wydawca:: Uniwersytet Zielonogórski. Oficyna Wydawnicza
Tematy:: fault diagnosis
discrete event system
labeled Petri nets
on-the-fly diagnosability analysis
verifier nets
diagnostyka błędu
układ zdarzeń dyskretnych
sieci Petriego; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

Szczegóły

Informacja