Koszyk

Dodano produkt do koszyka

Darmowa wysyłka

Formalne Metody Weryfikacji Własności Protokołów Zabezpieczających W Sieciach Komputerowych

Książka

- 29%

Formalne Metody Weryfikacji Własności Protokołów Zabezpieczających W Sieciach Komputerowych

Kurkowski Mirosław

Opinie: Wystaw opinię
Opinie, recenzje, testy:

Ten produkt nie ma jeszcze opinii

Twoja opinia

aby wystawić opinię.

Wydawnictwo: Exit

Cena: 42.00 zł 29.86 brutto

Najniższa cena z 30 dni przed obniżką: 32.26 zł

Ilość:
Liczba sztuk w magazynie:
1
Wyślemy w:
3 dni
Koszty dostawy:
  • Orlen Paczka 11.49 zł brutto
  • Paczkomaty InPost 14.49 zł brutto
  • Kurier Fedex. 15.49 zł brutto
  • Kurier DPD 17.59 zł brutto
  • Kurier InPost 15.99 zł brutto
  • Odbiór osobisty 0.00 zł brutto
Kod producenta:
9788378370185
Zapytaj o produkt

Wszystkie pola są wymagane

Opis produktu

1. Wprowadzenie 2. Wstęp do protokołów zabezpieczających 2.1. Elementy kryptografii 2.2. Protokoły - pojęcia podstawowe 2.3. Wiarygodność protokołów 2.4. Protokół Needhama-Schroedera z kluczem publicznym 2.5. Protokół Andrew RPC (wersja BAN) 2.6. Protokół Needhama-Schroedera z Centrum Certyfikacji 2.7. Znaczniki czasu - protokoły WMF i Kerberos 2.8. Protokół wymiany klucza z kluczem publicznym 2.9. Rodzaje ataków i modele Intruza 2.10. Podsumowanie 3. Metody specyfikacji protokołów zabezpieczających 3.1. Common Language 3.2. Język CAPSL 3.3. Projekt AVISPA i język HLPSL 3.4. Język ProToc 3.5. Podsumowanie 4. Metody weryfikacji protokołów zabezpieczających 4.1. Wstęp do meto weryfikacji 4.2. Metody indukcyjne i dedukcyjne (aksjomatyczne) 4.3. Weryfikacja modelowa (model checking) 4.4. Narzędzia AVISPA 4.5. Modelowanie i weryfikacja protokołów za pomocą automatów 4.6. Wyniki 4.7. Podsumowanie 5. Logiki uwierzytelniania stron 5.1. Logika BAN 5.2. Weryfikacja protokołów w logice BAN 5.3. Krytyka logiki BAN - Nessett'a 5.4. Logika GNY 5.5. Logika Abadi'ego i Tuttle'a 5.6. Inne systemy logik uwierzytelniania 5.7. Zalety i wady logik uwierzytelniania 5.8. Podsumowanie 6 Quasi-temporalna wiedzowa logika uwierzytelniania 6.1. Wprowadzenie 6.2. Syntaktyka logiki 6.3. System dedukcyjny logiki 6.4. Struktura obliczeniowa 6.5. Semantyka 6.6. Pełność 6.7. Rozstrzygalność 6.8. Złożoność obliczeniowa algorytmu rozstrzygania 6.9. Przekonania 6.10. Aspekty temporalne 6.11. Wyrażalność 6.12. Podsumowanie 7. Automatowa weryfikacja protokołów bezczasowych 7.1. Wprowadzenie 7.2. Syntaktyka dla protokołów bezczasowych 7.3. Struktura obliczeniowa 7.4. Modelowanie ataków 7.5. Sieci zsynchronizowanych automatów 7.6. Weryfikacja metodą indukcji odwrotnej 7.7. Wyniki eksperymentalne 7.8. Podsumowanie 8. Weryfikacja protokołów zależnych od czasu 8.1. Syntaktyka dla protokołów zależnych od czasu 8.2. Struktura obliczeniowa 8.3. Modelowanie ataków 8.4. Sieć zsynchronizowanych automatów czasowych 8.5. Weryfikacja protokołów zależnych od czasu metodą indukcji odwrotnej 8.6. Wyniki eksperymentalne 8.7. Podsumowanie 9. Modelowanie przez łańcuchy stanów 9.1. Modelowanie wykonań kroków protokołu przez łańcuchy stanów 9.2. Poprawne łańcuchy stanów 9.3. Algorytm weryfikacji 9.4. Wyniki eksperymentalne 9.5. Podsumowanie 10. Zakończenie 11. Załączniki 11.1. Logika zdaniowa 11.2. SAT i SAT-solvery 11.3. Specyfikacja protokołu NSPK w języku HLPSL 11.4. Gramatyka języka ProToc 11.5. Algorytm generowania wykonań i łańcuchów stanów Literatura Indeks

Autor
Kurkowski Mirosław
Język
polski
Wydawnictwo
Exit
ISBN
9788378370185
Rok wydania
2022
Liczba stron
216
Oprawa
Miękka
Format
16.5x23.5cm
Ciężar
0.34 kg
Typ publikacji
Książka

Produkty podobne

ECDL B2 Podstawy pracy w sieci

-12%

ECDL B2 Podstawy pracy w sieci

Cena: 39.00 zł 34.16 zł

Najniższa cena z 30 dni przed obniżką: 34.16 zł

Kwalifikacja INF.02 i INF.07

-33%

Kwalifikacja INF.02 i INF.07

Cena: 79.00 zł 53.09 zł
NetWare 5.0 Tom 1-2

-19%

NetWare 5.0 Tom 1-2

Cena: 113.40 zł 91.85 zł

Najniższa cena z 30 dni przed obniżką: 91.85 zł

AdWords i Analytics

-17%

AdWords i Analytics

Cena: 79.00 zł 65.39 zł

Najniższa cena z 30 dni przed obniżką: 69.20 zł

ECDL Web editing Syllabus v. 2.0. S6

-12%

ECDL Web editing Syllabus v. 2.0. S6

Cena: 49.00 zł 42.92 zł

Najniższa cena z 30 dni przed obniżką: 42.92 zł

Komunikacja W Społeczeństwie Sieci. Technologia, Bezpieczeństwo I Zmiana Społeczna

-40%

Komunikacja W Społeczeństwie Sieci. Technologia, Bezpieczeństwo I Zmiana Społeczna

Cena: 87.00 zł 52.21 zł

Najniższa cena z 30 dni przed obniżką: 52.21 zł