Result Details

Automated Design of Authentication and Key Distribution Protocols

OČENÁŠEK, P. Automated Design of Authentication and Key Distribution Protocols. Brno: Department of Information Systems FIT BUT, 2010. 113 p.
Type
dissertation
Language
English
Authors
Očenášek Pavel, Mgr. Ing., Ph.D., FIT (FIT), DIFS (FIT)
Abstract

Thisdoctoral thesis deals with the evolutionary approach used for the automaticdesign of security communication schemes (commonly known as security protocols)for authentication and/or key distribution. The presented approach also employsthe novel, grammar-based generation of these schemes according to the design andsecurity requirements.

Keywords

Security Protocol, Security Communication Scheme, Authentication, Key Agreement, Verification, Design, Evolutionary Algorithm, Genetic Algorithm.

Published
2010
Pages
113
Publisher
Department of Information Systems FIT BUT
Place
Brno
BibTeX 
@misc{BUT67076,
  author="Pavel {Očenášek}",
  title="Automated Design of Authentication and Key Distribution Protocols",
  year="2010",
  pages="113",
  publisher="Department of Information Systems FIT BUT",
  address="Brno"
}
Projects
Recognition and presentation of multimedia data, BUT, Vnitřní projekty VUT, FIT-S-10-2, 2010, start: 2010-04-01, end: 2010-12-31, completed
Safety and security of networked embedded system applications, GACR, Standardní projekty, GA102/08/1429, start: 2008-01-01, end: 2010-12-31, completed
Security-Oriented Research in Information Technology, MŠMT, Institucionální prostředky SR ČR (např. VZ, VC), MSM0021630528, start: 2007-01-01, end: 2013-12-31, running
Research groups
NES@FIT - Výzkumná skupina počítačové sítě (RG NES@FIT)
Departments
Ústav informačních systémů (DIFS)
Back to top