Result Details

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.
Type
conference paper
Language
English
Authors
Očenášek Pavel, Mgr. Ing., Ph.D., DIFS (FIT)
Abstract

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.

Keywords

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

Published
2006
Pages
51–52
Proceedings
Proceedings of the Junior Scientist Conference 2006
Conference
Junior Scientist Conference 2006
ISBN
3-902463-05-8
Publisher
Technical University Wien
Place
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"
}
Projects
A Framework for Formal Specifications and Prototyping of Information System's Network Applications, GACR, Standardní projekty, GA102/05/0723, start: 2005-01-01, end: 2007-12-31, completed
Architectures of Embedded Systems Networks, GACR, Standardní projekty, GA102/05/0467, start: 2005-01-01, end: 2007-12-31, completed
Integrated approach to education of PhD students in the area of parallel and distributed systems, GACR, Doktorské granty, GD102/05/H050, start: 2005-01-01, end: 2008-12-31, completed
Research groups
NES@FIT - Networks and distributed systems research group (RG NES@FIT)
Departments
Department of Information Systems (DIFS)
Back to top