Result Details
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. 16 p.
Type
other unclassified results
Language
English
Authors
Očenášek Pavel, Mgr. Ing., Ph.D., DIFS (FIT)
Abstract
This paper proposes an evolutionary method that serves for designing security protocols. The principles of security protocols are outlined, followed by the specification of modal logic that is used to encode the belief and knowledge of communicating parties. The second part introduces the evolutionary optimization framework and proposes the techniques that can be used to automatically evolve basic security protocols.
Keywords
genetic algorithm, security protocol, modal logic, design, evolution, chromosome, crossover, state space exploring
Published
2005
Pages
16
Publisher
Department of Information Systems FIT BUT
Place
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="Other unclassified results"
}
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
Architectures of Embedded Systems Networks, GACR, Standardní projekty, GA102/05/0467, start: 2005-01-01, end: 2007-12-31, completed
Departments