Result Details

Automatic Design of Security Protocols

OČENÁŠEK, P. Automatic Design of Security Protocols. Počítačové architektúry & diagnostika 2006. Bratislava: Slovak Academy of Science, 2006. p. 49-54. ISBN: 80-969202-2-7.
Type
conference paper
Language
English
Authors
Očenášek Pavel, Mgr. Ing., Ph.D., DIFS (FIT)
Abstract

Security protocols are becoming widely usedand many new protocols are being proposed. Since security protocols arenotoriously difficult to design, computer assistance in the design process isdesirable. This paper gives actual research results of the automated securityprotocols design. The research topic is very close to the author's dissertation.

Keywords

Security Protocol, Design, Verification,Evolutionary Approach

URL
Published
2006
Pages
49–54
Proceedings
Počítačové architektúry & diagnostika 2006
ISBN
80-969202-2-7
Publisher
Slovak Academy of Science
Place
Bratislava
BibTeX 
@inproceedings{BUT22256,
  author="Pavel {Očenášek}",
  title="Automatic Design of Security Protocols",
  booktitle="Počítačové architektúry & diagnostika 2006",
  year="2006",
  pages="49--54",
  publisher="Slovak Academy of Science",
  address="Bratislava",
  isbn="80-969202-2-7",
  url="http://www.ui.sav.sk/diag/pad06/program.html"
}
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
Research groups
NES@FIT - Networks and distributed systems research group (RG NES@FIT)
Departments
Department of Information Systems (DIFS)
Back to top