Zobrazeno 1 - 10
of 29
pro vyhledávání: '"Tomášek, Karel"'
Autor:
Tomášek, Karel
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
Externí odkaz:
http://www.nusl.cz/ntk/nusl-236815
Autor:
Duszová, Annamária, Dusza, Ján, Tomášek, Karel, Morgiel, Jerzy, Blugan, Gurdial, Kuebler, Jakob
Publikováno v:
In Scripta Materialia 2008 58(6):520-523
