formalne metody weryfikacji własności protokołów zabezpieczających w sieciach komputerowych
Opis produktu
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…