Detail výsledku
Modelling of Tamper-Proof Devices
Peringer Petr, Dr. Ing., UITS (FIT)
Rábová Zdeňka, doc. Ing., CSc., UITS (FIT)
This paper deals with modelling the certain security aspects ofhardware implementations of cryptographic mechanisms.These implementations are called tamper-proof devices and they aretypically smart cards or cryptographic coprocessThe design of mostavailable tamper-proof devices does not deal with various forms of sideeffects ofcryptographic algorithms execution. A side-channel is the term commonlyused for places wheresuch undesirable information appears. The volume and usefulness ofinformation we are able to extractdepends on the form of the side-channel. However, number of scientificpapers proves that it ispossible to effectively analyse information from side-channels and usethe results for compromise oftamper-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.
@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",
publisher="Marq software s.r.o.",
address="Ostrava",
isbn="80-85988-98-4",
url="http://www.fit.vutbr.cz/~hrubym/publications/mosis04.ps"
}