Publication detail
Automatic Design of Security Protocols
OČENÁŠEK, P.
Original Title
Automatic Design of Security Protocols
English Title
Automatic Design of Security Protocols
Type
conference paper
Language
en
Original Abstract
Security protocols are becoming widely used and many new protocols are being proposed. Since security protocols are notoriously difficult to design, computer assistance in the design process is desirable. This paper gives actual research results of the automated security protocols design. The research topic is very close to the author’s dissertation.
English abstract
Security protocols are becoming widely used and many new protocols are being proposed. Since security protocols are notoriously difficult to design, computer assistance in the design process is desirable. This paper gives actual research results of the automated security protocols design. The research topic is very close to the author’s dissertation.
Keywords
Security Protocol, Design, Verification, Evolutionary Approach
RIV year
2006
Released
18.09.2006
Publisher
Slovak Academy of Science
Location
Bratislava
ISBN
80-969202-2-7
Book
Počítačové architektúry & diagnostika 2006
Pages from
49
Pages to
54
Pages count
6
BibTex
@inproceedings{BUT22256,
author="Pavel {Očenášek}",
title="Automatic Design of Security Protocols",
annote="Security protocols are becoming widely used and many new protocols are being
proposed. Since security protocols are notoriously difficult to design, computer
assistance in the design process is desirable. This paper gives actual research
results of the automated security protocols design. The research topic is very
close to the author’s dissertation.",
address="Slovak Academy of Science",
booktitle="Počítačové architektúry & diagnostika 2006",
chapter="22256",
institution="Slovak Academy of Science",
year="2006",
month="september",
pages="49--54",
publisher="Slovak Academy of Science",
type="conference paper"
}