Analysis of formal security of cryptographic protocols
Public support
Provider
National Security Authority
Programme
The projects shall solve the research and development concerns in the area of the cryptography and cryptoanalysis with the aim to provide cryptographic means for the purposes of the protection of classified information.
Call for proposals
—
Main participants
—
Contest type
VZ - Public procurement
Contract ID
352/2009-NBÚ/04-VV
Alternative language
Project name in Czech
Analýza formální bezpečnosti kryptografických protokolů
Annotation in Czech
Rozbor bezpečnosti a návrh vhodného softwarového nástroje pro provádění analýzy kryptografických protokolů.
Scientific branches
R&D category
AP - Applied research
CEP classification - main branch
IN - Informatics
CEP - secondary branch
—
CEP - another secondary branch
—
OECD FORD - equivalent branches <br>(according to the <a href="http://www.vyzkum.cz/storage/att/E6EF7938F0E854BAE520AC119FB22E8D/Prevodnik_oboru_Frascati.pdf">converter</a>)
10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Completed project evaluation
Provider evaluation
U - Uspěl podle zadání (s publikovanými či patentovanými výsledky atd.)
Project results evaluation
Security analysis and design of acceptable software tool for carrying out cryptographic protocols analysis.
Solution timeline
Realization period - beginning
Apr 27, 2009
Realization period - end
Dec 31, 2009
Project status
U - Finished project
Latest support payment
May 13, 2009
Data delivery to CEP
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data delivery code
CEP10-NBU-ST-U/01:2
Data delivery date
Jul 1, 2010
Finance
Total approved costs
94 thou. CZK
Public financial support
94 thou. CZK
Other public sources
0 thou. CZK
Non public and foreign sources
0 thou. CZK