Formal Analysis of the Cryptographic Protocols
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F68407700%3A21230%2F04%3A03101001" target="_blank" >RIV/68407700:21230/04:03101001 - isvavai.cz</a>
Result on the web
—
DOI - Digital Object Identifier
—
Alternative languages
Result language
angličtina
Original language name
Formal Analysis of the Cryptographic Protocols
Original language description
There are many of published cryptographic protocols where have been found errors affecting their security. This stimulated research on formal verification methods of security protocols. Nowadays the analysis of the cryptographic protocols is a topic of intense research. In this article will be shown some major ways of formal of analysis cryptographic protocols.
Czech name
Není k dispozici
Czech description
Není k dispozici
Classification
Type
D - Article in proceedings
CEP classification
JA - Electronics and optoelectronics
OECD FORD branch
—
Result continuities
Project
—
Continuities
Z - Vyzkumny zamer (s odkazem do CEZ)
Others
Publication year
2004
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Article name in the collection
COFAX-TELEKOMUNIKÁCIE 2004 - zborník prednášok
ISBN
80-967019-6-7
ISSN
—
e-ISSN
—
Number of pages
2
Pages from-to
323-324
Publisher name
D&D STUDIO
Place of publication
Bratislava
Event location
Bratislava
Event date
Apr 19, 2004
Type of event by nationality
WRD - Celosvětová akce
UT code for WoS article
—