Není k dispozici

Kód výsledku v 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>

Výsledek na webu

—

DOI - Digital Object Identifier

—

Jazyk výsledku

angličtina

Název v původním jazyce

Formal Analysis of the Cryptographic Protocols

Popis výsledku v původním jazyce

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.

Název v anglickém jazyce

Formal Analysis of the Cryptographic Protocols

Popis výsledku anglicky

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.

Druh

D - Stať ve sborníku

CEP obor

JA - Elektronika a optoelektronika, elektrotechnika

OECD FORD obor

—

Projekt

—

Návaznosti

Z - Vyzkumny zamer (s odkazem do CEZ)

Rok uplatnění

2004

Kód důvěrnosti údajů

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Název statě ve sborníku

COFAX-TELEKOMUNIKÁCIE 2004 - zborník prednášok

ISBN

80-967019-6-7

ISSN

—

e-ISSN

—

Počet stran výsledku

2

Strana od-do

323-324

Název nakladatele

D&D STUDIO

Místo vydání

Bratislava

Místo konání akce

Bratislava

Datum konání akce

19. 4. 2004

Typ akce podle státní příslušnosti

WRD - Celosvětová akce

Kód UT WoS článku

—