Formalne metody weryfikacji własności protokołów zabezpieczających w sieciach komputerowych. Seria: Informatyka
Opis: 1. Wprowadzenie2. Wstęp do protokołów zabezpieczających2.1. Elementy kryptografii2.2. Protokoły - pojęcia podstawowe2.3. Wiarygodność protokołów2.4. Protokół Needhama-Schroedera z kluczem publicznym2.5. Protokół Andrew RPC (wersja BAN)2.6. Protokół Needhama-Schroedera z Centrum Certyfikacji2.7. Znaczniki czasu - protokoły WMF i Kerberos2.8. Protokół wymiany klucza z kluczem publicznym2.9. Rodzaje ataków i modele Intruza2.10. Podsumowanie3. Metody specyfikacji protokołów zabezpieczających3.1. Common Language3.2. Język CAPSL3.3. Projekt AVISPA i język HLPSL3.4. Język Pro Toc3.5. Podsumowanie4. Metody weryfikacji protokołów zabezpieczających4.1. Wstęp do meto weryfikacji4.2. Metody indukcyjne i dedukcyjne (aksjomatyczne)4.3. Weryfikacja modelowa (model checking)4.4. Narzędzia AVISPA4.5. Modelowanie i weryfikacja protokołów za pomocą automatów4.6. Wyniki4.7. Podsumowanie5. Logiki uwierzytelniania stron5.1. Logika BAN5.2. Weryfikacja protokołów w logice BAN5.3. Krytyka logiki BAN - Nessetta5.4. Logika GNY5.5. Logika Abadiego i Tuttlea5.6. Inne systemy logik uwierzytelniania5.7. Zalety i wady logik uwierzytelniania5.8. Podsumowanie6 Quasi-temporalna wiedzowa logika uwierzytelniania6.1. Wprowadzenie6.2. Syntaktyka logiki6.3. System dedukcyjny logiki6.4. Struktura obliczeniowa6.5. Semantyka6.6. Pełność6.7. Rozstrzygalność6.8. Złożoność obliczeniowa algorytmu rozstrzygania6.9. Przekonania6.10. Aspekty temporalne6.11. Wyrażalność6.12. Formalne metody weryfikacji własności protokołów zabezpieczających w sieciach komputerowych. Seria: Informatyka jest dostępny w sprzedaży w kategorii książki > nauki ścisłe i przyrodnicze > informatyka w cenie 36 zł i 70 gr (trzydzieści sześć złoych i siedemdziesiąt groszy), Marka tego produktu jest nieznana.. Produkt jest nowy, a oferta jest dostępna na sprzedaż po kliknięciu w kup teraz lub w przycisk więcej informacji. Numer oferty : 676779. Następna oferta to Kronos 3 2014. Technika i totalitaryzm. Tą ofertę wyświetlono osiemnaście razy.Numer dostawcy | 41987 |
ID | 17a7ac68-75bf-4e63-b5be-27696236ba3b |
Ostatnia zmiana | 1675121177227 |
Waluta | PLN |
Dostępność | in stock |
Stan | new |
Kategoria | Książki > Nauki ścisłe i przyrodnicze > Informatyka |
Numer produktu | 676779 |
Wyświetleń | 18 |
Oferta sklepu | Zobacz ofertę sklepu |
gtin | 9788378370185 |
shipping_price | 11.90 |
autor | Mirosław Kurkowski |
shipping_country | PL |
transit_time_label | 1-3 dni |
brand | Exit |
shipping_service | Express |
shipping_label | GLS |
google_product_category | 784 |
handling_time_label | 1-3 dni |