Wszystkie pola: verification of security protocols - Prolib Integro

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

Wyszukujesz frazę "verification of security protocols" wg kryterium: Wszystkie pola

Wyświetlanie 1-10 z 10

Zaznacz

Skocz do pozycji: 1.

Tytuł:: Process calculi and the verification of security protocols
Autorzy:: Boreale, Michele
Współwytwórcy:: Gorla, Daniele
Data publikacji:: Tue Jan 01 01:01:00 CET 2002
Tematy:: Sieć komputerowa - bezpieczeństwo
Szyfry; Pokaż więcej
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Skocz do pozycji: 2.

Tytuł:: Process calculi and the verification of security protocols
Autorzy:: Boreale, M.
Gorla, D.
Data publikacji:: 2002
Wydawca:: Instytut Łączności - Państwowy Instytut Badawczy
Tematy:: protokół kryptograficzny
kryptografia
bezpieczeństwo
cryptographic protocols
Dolev-Yao model
observational equivalence
process calculi
spi calculus; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 3.

Tytuł:: Process calculi and the verification of security protocols
Autorzy:: Boreale, M.
Gorla, D.
Data publikacji:: 2002
Słowa kluczowe:: protokół kryptograficzny
kryptografia
bezpieczeństwo
cryptographic protocols
Dolev-Yao model
observational equivalence
process calculi
spi calculus; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 4.

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

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

Tytuł:: Weryfikacja protokołów zabezpieczających z uwzględnieniem opóźnień w sieci
Autorzy:: Szymoniak, S.
Data publikacji:: 2016
Słowa kluczowe:: weryfikacja
protokoły zabezpieczające
bezpieczeństwo
verification
security protocols
security; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 7.

Tytuł:: Security Verification in the Context of 5G Sensor Networks
Autorzy:: Remlein, Piotr
Stachowiak, Urszula
Data publikacji:: 2021
Słowa kluczowe:: 5G
automated symbolic analysis
Internet of things
security protocols
sensor networks; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 8.

Tytuł:: Security Verification in the Context of 5G Sensor Networks
Autorzy:: Remlein, Piotr
Stachowiak, Urszula
Data publikacji:: 2021
Wydawca:: Instytut Łączności - Państwowy Instytut Badawczy
Tematy:: 5G
automated symbolic analysis
Internet of Things
security protocols
sensor networks; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 9.

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

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

Wyświetlanie 1-10 z 10

Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies