Masz w koszyku:
Ilość tytułów: 0 poz. za kwotę: 0 zł
pokaz koszyk
rozwiń menu
tylko:  
mapa kategorii
lista wydawnictw
lista autorów
Księgarnia »
Indeks autorów »
Mirosław Kurkowski

Mirosław Kurkowski - autor

okładka książki - Formalne metody weryfikacji własności protokołów zabezpieczających w sieciach komputerowych. Seria: Informatyka
Mirosław Kurkowski

Formalne metody weryfikacji własności protokołów zabezpieczających w sieciach komputerowych. Seria: Informatyka

Książka. Wydawnictwo: Exit ; Kategoria: Książki / Nauki ścisłe i przyrodnicze / Informatyka; Rok wydania: 2013; Oprawa: miękka;
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...
pozycja niedostępna