Analýza formální bezpečnosti kryptografických protokolů

Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F61384399%3A31140%2F09%3A00041666" target="_blank" >RIV/61384399:31140/09:00041666 - isvavai.cz</a>
Výsledek na webu
—
DOI - Digital Object Identifier
—

Jazyk výsledku
čeština
Název v původním jazyce
Analýza formální bezpečnosti kryptografických protokolů
Popis výsledku v původním jazyce
Práce analyzovala tři vybrané programy (formální jazyky) umožňující strojovou formální analýzu kryptografických protokolů s ohledem na možnost a vhodnost využití programu v Národním bezpečnostním úřadu. Posuzované programy byly ASPASYA, AVISPA a Isabelle/HOL. Všechny programy byly nainstalovány, zprovozněny v NBU a jejich funkčnost vysvětlena kryptografickému oddělení. Z posuzovaných programů byl doporučen program AVISPA, bylo provedeno zaškolení ve vytváření deklarace protokolů, a vytvořena uživatelskádokumentace.
Název v anglickém jazyce
Analysis of formal security of cryptographic protocols
Popis výsledku anglicky
The work analyzed three selected programs for computer formal analysis of cryptographic protocols with regard the possibility and desirability of using the program in the National Security Authority. The examined programs was ASPASYA, AVISPA and Isabelle/ HOL. All programs have been installed, put into operation in the NSA and their functionality was demonstrated to a cryptographic department. The AVISPA program has been recommended and it has been training in creating of protocols declaration and it auser documentation was created.

Projekt
<a href="/cs/project/ST20092009006" target="_blank" >ST20092009006: Analýza formální bezpečnosti kryptografických protokolů</a><br>
Návaznosti
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

Rok uplatnění
2009
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ů

Podobné výsledky(10)