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

Abstract

Bezpečnostní protokoly se používají pro zabezpečenou komunikaci přes nezabezpečenou síť. Tento dokument má za účel letmé seznámení s formálním popisem bezpečnostních protokolů, jednoduchým popisem několika protokolů a metodami návrhu bezpečnostních protokolů. Dále se zabývá popisem vytvořené knihovny a práce s ní.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.