CesTa k ochraně čipových karet

• Autoři: KŮR Jiří; SMOLKA Tobiáš; ŠVENDA Petr
• Rok publikování: 2010
• Druh: Článek v odborném periodiku
• Časopis / Zdroj: Data Security Management
• Fakulta / Pracoviště MU: Fakulta informatiky
• Obor: Informatika
• Klíčová slova: Smart card; security; source code analysis
• Popis: Pouze čipová karta k zajištění bezpečnosti aplikace a dat nestačí. V článku je ukázáno několik praktický útoků na aplikace běžící na čipové kartě. Současně jsou popsány možnosti, jak se těmto útokům bránit na softwarové úrovni. Tyto softwarové ochrany lze implementovat automatizovaně. Výhody takovéto implementace jsou demonstrovány na požití nástroje CesTa.

Související projekty

• Institut Teoretické Informatiky
• Matematické a inženýrské metody pro vývoj spolehlivých a bezpečných paralelních a distribuovaných počítačových systémů
• Účast ČR v European Research Consortium for Informatics and Mathematics