Analýza formální bezpečnosti kryptografických protokolů
Veřejná podpora
Poskytovatel
Národní bezpečnostní úřad
Program
Projekty řeší problematiku výzkumu a vývoje v oblasti kryptografie a kryptoanalýzy s cílem zajištění kryptografických prostředků pro ochranu utajovaných skutečností.
Veřejná soutěž
—
Hlavní účastníci
—
Druh soutěže
VZ - Veřejná zakázka
Číslo smlouvy
352/2009-NBÚ/04-VV
Alternativní jazyk
Název projektu anglicky
Analysis of formal security of cryptographic protocols
Anotace anglicky
Security analysis and design of acceptable software tool for carrying out cryptographic protocols analysis.
Vědní obory
Kategorie VaV
AP - Aplikovaný výzkum
CEP - hlavní obor
IN - Informatika
CEP - vedlejší obor
—
CEP - další vedlejší obor
—
OECD FORD - odpovídající obory <br>(dle <a href="http://www.vyzkum.cz/storage/att/E6EF7938F0E854BAE520AC119FB22E8D/Prevodnik_oboru_Frascati.pdf">převodníku</a>)
10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Hodnocení dokončeného projektu
Hodnocení poskytovatelem
U - Uspěl podle zadání (s publikovanými či patentovanými výsledky atd.)
Zhodnocení výsledků projektu
Rozbor bezpečnosti a návrh vhodného softwarového nástroje pro provádění analýzy kryptografických protokolů.
Termíny řešení
Zahájení řešení
27. 4. 2009
Ukončení řešení
31. 12. 2009
Poslední stav řešení
U - Ukončený projekt
Poslední uvolnění podpory
13. 5. 2009
Dodání dat do CEP
Důvěrnost údajů
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Systémové označení dodávky dat
CEP10-NBU-ST-U/01:2
Datum dodání záznamu
1. 7. 2010
Finance
Celkové uznané náklady
94 tis. Kč
Výše podpory ze státního rozpočtu
94 tis. Kč
Ostatní veřejné zdroje financování
0 tis. Kč
Neveřejné tuz. a zahr. zdroje finan.
0 tis. Kč