Result Details

Towards Selected Problems in the Security Protocol Design and Verification

OČENÁŠEK, P. Towards Selected Problems in the Security Protocol Design and Verification. Pre-Proceedings of the 1st Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS 2005). Brno: Faculty of Informatics MU, 2005. p. 1-9.
Type
conference paper
Language
English
Authors
Očenášek Pavel, Mgr. Ing., Ph.D., DIFS (FIT)
Abstract

This paper overviews the area of design and verification of security protocols and focuses on selected issues. Most frequently used verification approaches as well as some supplementary tools that could be used to evaluate the quality of protocols and to find the security flaws are summarized. In conjunction with the discussed issues a brief description and state of the art of the design process is given, followed by an introduction to the author's presented evolutionary approach, which seems to be useful for automating the protocol design. Unlike the former publications from this area, this paper provides a global view of the problem - the process of protocol design and the verification in general.

Keywords

security protocol, design, verification

URL
Published
2005
Pages
1–9
Proceedings
Pre-Proceedings of the 1st Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS 2005)
Conference
1st Doctoral Workshop on Mathematical and Engineering Methods in Computer Science -- MEMICS 2005
Publisher
Faculty of Informatics MU
Place
Brno
BibTeX 
@inproceedings{BUT18068,
  author="Pavel {Očenášek}",
  title="Towards Selected Problems in the Security Protocol Design and Verification",
  booktitle="Pre-Proceedings of the 1st Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS 2005)",
  year="2005",
  pages="1--9",
  publisher="Faculty of Informatics MU",
  address="Brno",
  url="http://www.fi.muni.cz/memics05/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
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