Ing. Martin Hrubý, Ph.D.
| Hrubý, M., Peringer, P., Rábová, Z.: Modelling of Tamper-Proof Devices, In: Proceedings of 38th International Conference MOSIS'04, Ostrava, CZ, MARQ, 2004, s. 6, ISBN 80-85988-98-4 | | Jazyk publikace: | angličtina |
|---|
| Název publikace: | Modelling of Tamper-Proof Devices |
|---|
| Název (cs): | Modelování zařízení odolných proti útokům |
|---|
| Strany: | 6 |
|---|
| Sborník: | Proceedings of 38th International Conference MOSIS'04 |
|---|
| Konference: | MOSIS 2004 - Modelling and Simulation of Systems |
|---|
| Místo vydání: | Ostrava, CZ |
|---|
| Rok: | 2004 |
|---|
| ISBN: | 80-85988-98-4 |
|---|
| Vydavatel: | MARQ |
|---|
| URL: | http://www.fit.vutbr.cz/~hrubym/publications/mosis04.ps [PS] |
|---|
| Klíčová slova |
|---|
| tamper-proof hardware, cryptographic attacks, cryptography, heterogeneous modelling, HELEF |
| Anotace |
|---|
| Článek se zabývá modelováním určitých bezpečnostních aspektů
hardwarových implementací kryptografických mechanismů. Tyto
implementace se nazývají zařízení odolná proti útoku a jsou to typicky
čipové karty nebo kryptografické koprocesory. Návrh těchto zařízení
obvykle neobsahuje protiopatření proti tak zvaným bočním efektům, které
provází činnost těchto zařízení. Boční efekty způsobují únik citlivé
informace z kryptografického zařízení. Závažnost tohoto úniku závisí na
původu bočního efektu a na schopnosti útočníka unikající informaci
analyzovat. |
| Abstrakt |
|---|
Článek se zabývá modelováním určitých bezpečnostních aspektů
hardwarových implementací kryptografických mechanismů. Tyto
implementace se nazývají zařízení odolná proti útoku a jsou to typicky
čipové karty nebo kryptografické koprocesory. Návrh těchto zařízení
obvykle neobsahuje protiopatření proti tak zvaným bočním efektům, které
provází činnost těchto zařízení. Boční efekty způsobují únik citlivé
informace z kryptografického zařízení. Závažnost tohoto úniku závisí na
původu bočního efektu a na schopnosti útočníka unikající informaci
analyzovat.
|
| BibTeX: |
|---|
@INPROCEEDINGS{
author = {Martin Hrubý and Petr Peringer and Zdeňka Rábová},
title = {Modelling of Tamper-Proof Devices},
pages = {6},
booktitle = {Proceedings of 38th International Conference MOSIS'04},
year = {2004},
location = {Ostrava, CZ},
publisher = {},
ISBN = {80-85988-98-4},
language = {english},
url = {http://www.fit.vutbr.cz/research/view_pub.php?id=7422}
} |
|