Formalne metody weryfikacji własności protokołów zabezpieczających w sieciach komputerowych
Nie bez powodu mówi się dzisiaj, że najbardziej cennym towarem na świecie jest informacja. Media nieustannie donoszą o kolejnych przypadkach wzlotów i upadków ludzi, firm, czy nawet państw. Bardzo często powodem tych zmian zachodzących w codziennym życiu jest posiadanie lub brak odpowiedniej informacji. Dlatego jednym najważniejszych problemów jest wiarygodność informacji oraz jej bezpieczeństwo. W pierwszym przypadku chodzi oczywiście o odpowiednią weryfikację informacji. Może tutaj chodzić o jej prawdziwość lub adekwatność. W drugim mamy do czynienia z takim problemem, że nie każda informacja ma pozostawać jawna, dostępna dla wielu lub wszystkich. W niniejszej rozprawia przedstawione są problemy związane z weryfikacją protokołów zabezpieczających w sieciach komputerowych.
Autor: Mirosław Kurkowski
Znajdź bibliotekę blisko siebie, i uzyskaj dostęp do ebooka w systemie IBUK Libra