Verifikace bezpečnostních protokolů

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216305%3A26230%2F03%3APU42604" target="_blank" >RIV/00216305:26230/03:PU42604 - isvavai.cz</a>

Výsledek na webu

—

DOI - Digital Object Identifier

—

Jazyk výsledku

čeština

Název v původním jazyce

Verifikace bezpečnostních protokolů

Popis výsledku v původním jazyce

Práce se zabývá analýzou metod používaných k verifikaci bezpečnostních protokolů.

Název v anglickém jazyce

Verification of Security Protocols

Popis výsledku anglicky

Security protocols use cryptography to set up private communication channels on an insecure network. Many protocols contain flaws, and because security goals are seldom specified in detail, we cannot be certain what constitutes a flaw. The paper attemptsto draw some general lessons on the use of formalism. It outlines the problem area, emphasizing the notion of freshness. It describes how a protocol can be specified using several formal methods.

Druh

D - Stať ve sborníku

CEP obor

JC - Počítačový hardware a software

OECD FORD obor

—

Projekt

—

Návaznosti

Z - Vyzkumny zamer (s odkazem do CEZ)

Rok uplatnění

2003

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

Proceedings of the 9th Conference and Competition STUDENT EEICT 2003

ISBN

80-214-2377-3

ISSN

—

e-ISSN

—

Počet stran výsledku

3

Strana od-do

211-213

Název nakladatele

Fakulta elektrotechniky a komunikačních technologií VUT

Místo vydání

Brno

Místo konání akce

Brno

Datum konání akce

24. 4. 2003

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

CST - Celostátní akce

Kód UT WoS článku

—