Přístupnostní navigace
E-přihláška
Vyhledávání Vyhledat Zavřít
Detail publikace
OČENÁŠEK, P.
Originální název
Evolutionary Approach in the Security Protocols Design [PhD abstract]
Typ
různé
Jazyk
angličtina
Originální abstrakt
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.
Klíčová slova
genetic algorithm, security protocol, modal logic, design, evolution, chromosome, crossover, state space exploring
Autoři
Vydáno
4. 3. 2005
Nakladatel
Department of Information Systems FIT BUT
Místo
Brno
Strany počet
16
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" }