Analysis of formal security of cryptographic protocols

Result code in 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>

Result on the web

—

DOI - Digital Object Identifier

—

Result language

čeština

Original language name

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

Original language description

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.

Czech name

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

Czech description

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.

Type

O - Miscellaneous

CEP classification

IN - Informatics

OECD FORD branch

—

Project

<a href="/en/project/ST20092009006" target="_blank" >ST20092009006: Analysis of formal security of cryptographic protocols</a><br>

Continuities

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

Publication year

2009

Confidentiality

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