CesTa k ochraně čipových karet

Varování

Publikace nespadá pod Filozofickou fakultu, ale pod Fakultu informatiky. Oficiální stránka publikace je na webu muni.cz.

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
Citace
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