National Repository of Grey Literature 2 records found  Search took 0.00 seconds. 
Library of Functions for the Support of Communication Protocols Design
Tomášek, Karel ; Trchalík, Roman (referee) ; Očenášek, Pavel (advisor)
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.
Library of Functions for the Support of Communication Protocols Design
Tomášek, Karel ; Trchalík, Roman (referee) ; Očenášek, Pavel (advisor)
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.

Interested in being notified about new results for this query?
Subscribe to the RSS feed.