Analysis of formal security of cryptographic protocols

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

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ů.

R&D category

AP - Applied research

CEP classification - main branch

IN - Informatics

CEP - secondary branch

—

CEP - another secondary branch

—

10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)

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.

Realization period - beginning

Apr 27, 2009

Realization period - end

Dec 31, 2009

Project status

U - Finished project

Latest support payment

May 13, 2009

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

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