Temat: security verification

Skocz do pozycji: 1.

Tytuł:: Procedury budowy scenariuszy zdarzeń niekorzystnych w strukturze procesu planowania cywilnego
Autorzy:: Wiśniewski, M.
Data publikacji:: 2018
Słowa kluczowe:: planowanie cywilne
zdarzenie niekorzystne
problem decyzyjny
model sytuacji
weryfikacja zabezpieczeń
civil planning
event unfavorable
decision problem
situation model
security verification; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 2.

Tytuł:: Procedury budowy scenariuszy zdarzeń niekorzystnych w strukturze procesu planowania cywilnego
Procedures for the construction of scenarios of adverse events in the structure of the civilian planning process
Autorzy:: Wiśniewski, M.
Data publikacji:: 2018
Wydawca:: Politechnika Śląska. Wydawnictwo Politechniki Śląskiej
Tematy:: planowanie cywilne
zdarzenie niekorzystne
problem decyzyjny
model sytuacji
weryfikacja zabezpieczeń
civil planning
event unfavorable
decision problem
situation model
security verification; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 3.

Tytuł:: Trivializing verification of cryptographic protocols
Autorzy:: Piątkowski, Jacek
Szymoniak, Sabina
Data publikacji:: 2023
Słowa kluczowe:: security protocol verification
tree visualisation
hierarchical data structure
weryfikacja protokołu bezpieczeństwa
wizualizacja drzewa
hierarchiczna struktura danych; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 4.

Tytuł:: Trivializing verification of cryptographic protocols
Autorzy:: Piątkowski, Jacek
Szymoniak, Sabina
Data publikacji:: 2023
Wydawca:: Instytut Podstawowych Problemów Techniki PAN
Tematy:: security protocol verification
tree visualisation
hierarchical data structure
weryfikacja protokołu bezpieczeństwa
wizualizacja drzewa
hierarchiczna struktura danych; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 5.

Tytuł:: Koncepcja narzędzia informatycznego wspomagającego budowę scenariuszy zdarzeń niekorzystnych
Functional assumptions of an it tool to assist in the construction of adverse event scenarios
Autorzy:: Michał Wiśniewski
Data publikacji:: 2018-12-17
Tematy:: planowanie cywilne
scenariusz zdarzenia niekorzystnego
model sytuacji zasobu
problemdecyzyjny
weryfikacja zabezpieczeń
infrastruktura krytyczna
Civilian Planning
Adverse Event Scenario
Resource Situation Model
Decision Problem
Critical Infrastructure
Security Verification; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 6.

Tytuł:: Koncepcja narzędzia informatycznego wspomagającego budowę scenariuszy zdarzeń niekorzystnych
Functional assumptions of an it tool to assist in the construction of adverse event scenarios
Autorzy:: Wiśniewski, Michał
Data publikacji:: 2018-12-17
Wydawca:: Wojskowa Akademia Techniczna im. Jarosława Dąbrowskiego
Tematy:: planowanie cywilne
scenariusz zdarzenia niekorzystnego
model sytuacji zasobu
problemdecyzyjny
weryfikacja zabezpieczeń
infrastruktura krytyczna
Civilian Planning
Adverse Event Scenario
Resource Situation Model
Decision Problem
Critical Infrastructure
Security Verification; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 7.

Tytuł:: Biometric as an example of the use of modern technology in the security system. An example of the European Union
Biometria, jako przykład wykorzystania nowoczesnej technologii w systemie bezpieczeństwa. Przykład Unii Europejskiej
Autorzy:: Krupa, Aleksandra
Słowa kluczowe:: biometria, bezpieczeństwo narodowe, bezpieczeństwo międzynarodowe, nowoczesne technologie, weryfikacja, identyfikacja
biometrics, National security, International security, High technology, verification, identification; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Inne

na półce

Szczegóły

Skocz do pozycji: 8.

Tytuł:: Koncepcja narzędzia informatycznego wspomagającego budowę scenariuszy zdarzeń niekorzystnych
Autorzy:: Wiśniewski, M.
Data publikacji:: 2018
Słowa kluczowe:: planowanie cywilne
scenariusz zdarzenia niekorzystnego
model sytuacji zasobu
problem decyzyjny
weryfikacja zabezpieczeń
infrastruktura krytyczna
civilian planning
adverse event scenario
resource situation model
decision problem
security verification
critical infrastructure; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 9.

Tytuł:: Using probabilistic automata for security protocols verification
Autorzy:: Siedlecka-Lamch, O.
Kurkowski, M.
Piątkowski, J.
Data publikacji:: 2016
Wydawca:: Politechnika Częstochowska. Wydawnictwo Politechniki Częstochowskiej
Tematy:: verification of security protocols
probabilistic methods
weryfikacja protokołów bezpieczeństwa
metody probabilistyczne
protokoły uwierzytelniania; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 10.

Tytuł:: Using probabilistic automata for security protocols verification
Autorzy:: Siedlecka-Lamch, O.
Kurkowski, M.
Piątkowski, J.
Data publikacji:: 2016
Słowa kluczowe:: verification of security protocols
probabilistic methods
weryfikacja protokołów bezpieczeństwa
metody probabilistyczne
protokoły uwierzytelniania; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Informacja

Wyszukujesz frazę "security verification" wg kryterium: Temat