Detail publikace
Modelling of Tamper-Proof Devices
tamper-proof hardware, cryptographic attacks, cryptography, heterogeneous modelling, HELEF
Č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.
Č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.
@inproceedings{BUT16917,
author="Martin {Hrubý} and Petr {Peringer} and Zdeňka {Rábová}",
title="Modelling of Tamper-Proof Devices",
booktitle="Proceedings of 38th International Conference MOSIS'04",
year="2004",
pages="255--260",
address="Ostrava",
isbn="80-85988-98-4",
url="http://www.fit.vutbr.cz/~hrubym/publications/mosis04.ps"
}