Knihovna funkcí pro podporu návrhu komunikačních protokolů

Library of Functions for the Support of Communication Protocols Design

Security protocols are used for security communication over insecure network. This document gives a brief introduction into description and use of security protocols and proposes a library of functions that could be used for simulation and verification of security protocols.

security protocol, communication, authentication, symetric and asymetric cryptography

TOMÁŠEK, Karel. Knihovna funkcí pro podporu návrhu komunikačních protokolů. Brno, 2006. Year Project. Brno University of Technology, Faculty of Information Technology. 2006-05-10. Supervised by Očenášek Pavel. Available from: https://www.fit.vut.cz/study/thesis/4414/