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 |
Externí odkaz: |