Detail výsledku

Security Protocols: Analysis and Design

OČENÁŠEK, P. Security Protocols: Analysis and Design. Proceedings of the Junior Scientist Conference 2006. Vienna: Technical University Wien, 2006. p. 51-52. ISBN: 3-902463-05-8.
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Očenášek Pavel, Mgr. Ing., Ph.D., UIFS (FIT)
Abstrakt

The security protocols areused to establish secure communication over insecure open networks and distributedsystems. In the first part of this paper the brief introduction to the analysisand design area is given, followed by the description of the author's presentedevolutionary approach, which seems to be useful for automating the security protocoldesign.

Klíčová slova

Security protocol, analysis, design, verification, genetic algorithm, evolutionary approach

Rok
2006
Strany
51–52
Sborník
Proceedings of the Junior Scientist Conference 2006
Konference
Junior Scientist Conference 2006
ISBN
3-902463-05-8
Vydavatel
Technical University Wien
Místo
Vienna
BibTeX 
@inproceedings{BUT22184,
  author="Pavel {Očenášek}",
  title="Security Protocols: Analysis and Design",
  booktitle="Proceedings of the Junior Scientist Conference 2006",
  year="2006",
  pages="51--52",
  publisher="Technical University Wien",
  address="Vienna",
  isbn="3-902463-05-8"
}
Projekty
Architektury sítí pro vestavěné systémy, GAČR, Standardní projekty, GA102/05/0467, zahájení: 2005-01-01, ukončení: 2007-12-31, ukončen
Integrovaný přístup k výchově studentů DSP v oblasti paralelních a distribuovaných systémů, GAČR, Doktorské granty, GD102/05/H050, zahájení: 2005-01-01, ukončení: 2008-12-31, ukončen
Rámec pro formální specifikace a prototypování síťových aplikací informačních systémů, GAČR, Standardní projekty, GA102/05/0723, zahájení: 2005-01-01, ukončení: 2007-12-31, ukončen
Výzkumné skupiny
NES@FIT - Výzkumná skupina počítačové sítě (VZ NES@FIT)
Pracoviště
Ústav informačních systémů (UIFS)
Nahoru