Aplikační knihovna pro podporu návrhu komunikačních protokolů

Autor: Tomášek, Karel
Jazyk: čeština
Předmět:
Druh dokumentu: masterThesis
Popis: Security protocols are used for establishing secure communication over insecure network. This document gives a brief introduction into description and formal specification in the area of security protocols design. It also includes description of the aplication library, its functions and methods how to use it.
Databáze: Networked Digital Library of Theses & Dissertations