Temat: verification of security

Skocz do pozycji: 1.

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: 2.

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

Skocz do pozycji: 3.

Tytuł:: Weryfikacja klauzul tajności w teorii i w praktyce.
Verification of security classification levels in theory and practice.
Autorzy:: Strużewska-Smirnow, Justyna
Data publikacji:: 2015-11-15
Wydawca:: Agencja Bezpieczeństwa Wewnętrznego
Tematy:: ustawa o ochronie informacji niejawnych
weryfikacja klauzul tajności
dostęp do informacji publicznej
inne informacje prawnie chronione
czynności operacyjno-
rozpoznawcze.
Law on the Protection of Classified Information
verification of security
classification levels
access to public information
other legally protected information
operation and reconnaissance activities; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 4.

Tytuł:: Weryfikacja klauzul tajności w teorii i w praktyce.
Verification of security classification levels in theory and practice.
Autorzy:: Strużewska-Smirnow Justyna
Data publikacji:: 2015-11-15
Tematy:: ustawa o ochronie informacji niejawnych
weryfikacja klauzul tajności
dostęp do informacji publicznej
inne informacje prawnie chronione
czynności operacyjno-
rozpoznawcze.
Law on the Protection of Classified Information
verification of security
classification levels
access to public information
other legally protected information
operation and reconnaissance activities; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 5.

Tytuł:: A Polish model of the intelligence service reform in 1990
Autorzy:: Polak, Wojciech
Galij-Skarbińska, Sylwia
Data publikacji:: 2017
Wydawca:: Towarzystwo Naukowe w Toruniu
Tematy:: the Security Service
the Office of State Protection,
verification
the Ministry of Internal Affair; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 6.

Tytuł:: Ochrona informacji niejawnych w Bośni i Hercegowinie oraz Chorwacji. Wybrane regulacje karne i administracyjne
Protection of classified information in Bosnia and Herzegovina and Croatia. Selected criminal and administrative regulations
Autorzy:: Rafał Wądołowski
Data publikacji:: 2022-12-09
Tematy:: kodeks karny
ujawnienie tajemnicy
informacje niejawne
poświadczenie bezpieczeństwa
kontrwywiad.
postępowanie sprawdzające
criminal code
disclosure of secrets
classified information
verification procedure
security clearance
counterintelligence.; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 7.

Tytuł:: Protection of classified information in Bosnia and Herzegovina and Croatia. Selected criminal and administrative regulations
Ochrona informacji niejawnych w Bośni i Hercegowinie oraz Chorwacji. Wybrane regulacje karne i administracyjne
Autorzy:: Rafał Wądołowski
Data publikacji:: 2022-12-09
Tematy:: criminal code
disclosure of secrets
classified information
verification procedure
security clearance
counterinelligence
kodeks karny
ujawnienie tajemnicy
informacje niejawne
poświadczenie bezpieczeństwa
postępowanie sprawdzające
kontrwywiad; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 8.

Tytuł:: Ochrona informacji niejawnych w Bośni i Hercegowinie oraz Chorwacji. Wybrane regulacje karne i administracyjne
Protection of classified information in Bosnia and Herzegovina and Croatia. Selected criminal and administrative regulations
Autorzy:: Wądołowski, Rafał
Data publikacji:: 2022-12-09
Wydawca:: Agencja Bezpieczeństwa Wewnętrznego
Tematy:: kodeks karny
ujawnienie tajemnicy
informacje niejawne
poświadczenie bezpieczeństwa
kontrwywiad.
postępowanie sprawdzające
criminal code
disclosure of secrets
classified information
verification procedure
security clearance
counterintelligence.; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 9.

Tytuł:: Protection of classified information in Bosnia and Herzegovina and Croatia. Selected criminal and administrative regulations
Ochrona informacji niejawnych w Bośni i Hercegowinie oraz Chorwacji. Wybrane regulacje karne i administracyjne
Autorzy:: Wądołowski, Rafał
Data publikacji:: 2022-12-09
Wydawca:: Agencja Bezpieczeństwa Wewnętrznego
Tematy:: criminal code
disclosure of secrets
classified information
verification procedure
security clearance
counterinelligence
kodeks karny
ujawnienie tajemnicy
informacje niejawne
poświadczenie bezpieczeństwa
postępowanie sprawdzające
kontrwywiad; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 10.

Tytuł:: Formalization of software risk assessment results in legal metrology based on ISO/IEC 18045 vulnerability analysis
Autorzy:: Esche, Marko
Salwiczek, Felix
Grasso Toro, Federico
Data publikacji:: 2019
Słowa kluczowe:: software
formal specification
IEC standards
ISO standards
probability
program verification
risk management
security of data
software standards
oprogramowanie
formalna specyfikacja
normy IEC
normy ISO
prawdopodobieństwo
weryfikacja programu
zarządzanie ryzykiem
bezpieczeństwo danych
standardy oprogramowania; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Informacja

Wyszukujesz frazę "verification of security" wg kryterium: Temat