Conference paper

OČENÁŠEK Pavel. Towards Selected Problems in the Security Protocol Design and Verification. In: Pre-Proceedings of the 1st Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS 2005). Brno: Faculty of Informatics MU, 2005, p. 9.
Publication language:english
Original title:Towards Selected Problems in the Security Protocol Design and Verification
Title (cs):Vybrané problémy návrhu a verifikace bezpečnostních protokolů
Pages: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
Place:Brno, CZ
Year:2005
Publisher:Faculty of Informatics MU
URL:http://www.fi.muni.cz/memics05/program.html [HTML]
Keywords
security protocol, design, verification
Annotation
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.
BibTeX:
@INPROCEEDINGS{
   author = {Pavel O{\v{c}}en{\'{a}}{\v{s}}ek},
   title = {Towards Selected Problems in the Security Protocol
	Design and Verification},
   pages = {9},
   booktitle = {Pre-Proceedings of the 1st Doctoral Workshop on Mathematical
	and Engineering Methods in Computer Science (MEMICS 2005)},
   year = {2005},
   location = {Brno, CZ},
   publisher = {Faculty of Informatics MU},
   language = {english},
   url = {http://www.fit.vutbr.cz/research/view_pub.php?id=7892}
}

Your IPv4 address: 54.235.4.196
Switch to https