Informace o projektu
Tools for AI-enhanced Security Verification of Cryptographic Devices
| Kód projektu | VJ02010010 CEP CORDIS MU WEB INET MU |
|---|---|
| Doba řešení | 01.01.2022–31.12.2025 |
| Stav | aktivní |
| Investor | Ministerstvo vnitra ČR |
| Program | Strategická podpora rozvoje bezpečnostního výzkumu ČR 2019-2025 (IMPAKT 1) |
| Řešitel za FI | |
| Členové realizačního týmu za FI |
Anotace
Projekt reaguje na současný nedostatek nástrojů pro analýzu a verifikaci bezpečnostní certifikace zařízení používaných pro zajištění kybernetické bezpečnosti. Zejména u hardwarových zařízení implementujících kryptografické algoritmy, například čipových karet, je v ČR téměř nemožné spolehlivě ověřit deklarovanou úroveň bezpečnosti, což následně znemožňuje analýzu rizik systémů využívajících tato zařízení a tedy použití zařízení např. u bezpečnostních složek státu či v rámci kritických informačních infrastruktur. V rámci projektu budou vyvinuty nové hardwarové a softwarové nástroje založené na principech umělé inteligence, které bude možné využít pro specifické kroky automatizované verifikace bezpečnosti kryptografického zařízení - ať už na základě bezpečnostní certifikace nebo tvrzení výrobce/dodavatele.