Detail publikace

Evolutionary Approach in the Security Protocols Design [PhD abstract]

OČENÁŠEK, P. Evolutionary Approach in the Security Protocols Design [PhD abstract]. Brno: Department of Information Systems FIT BUT, 2005. p. 0-0.
Název česky
Evoluční přístup při návrhu bezpečnostních protokolů [teze PhD práce]
Typ
různé
Jazyk
anglicky
Autoři
Očenášek Pavel, Mgr. Ing., Ph.D. (UIFS)
Klíčová slova

genetic algorithm, security protocol, modal logic, design, evolution, chromosome, crossover, state space exploring

Abstrakt

Tato práce představuje evoluční metodu, která slouží při návrhu bezpečnostních protokolů. Nejprve jsou nastíněny principy bezpečnostních protokolů, následuje specifikace modální logiky, která je použita pro formalizaci "víry a znalostí" komunikujících stran. Druhá část se zabývá vlastním evolučním optimalizačním rozhraním a představuje techniky, které mohou být použitelné při automatickém návrhu základních bezpečnostních protokolů.

Rok
2005
Strany
16
Vydavatel
Department of Information Systems FIT BUT
Místo
Brno
BibTeX 
@misc{BUT67152,
  author="Pavel {Očenášek}",
  title="Evolutionary Approach in the Security Protocols Design [PhD abstract]",
  year="2005",
  pages="16",
  publisher="Department of Information Systems FIT BUT",
  address="Brno",
  note="miscellaneous"
}
Nahoru