Formální verifikace vlastností algoritmu CRC
Identifikátory výsledku
Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216305%3A26230%2F06%3APU66990" target="_blank" >RIV/00216305:26230/06:PU66990 - isvavai.cz</a>
Nalezeny alternativní kódy
RIV/00216224:14330/06:00015972
Výsledek na webu
—
DOI - Digital Object Identifier
—
Alternativní jazyky
Jazyk výsledku
angličtina
Název v původním jazyce
Formal Verification of the CRC Algorithm Properties
Popis výsledku v původním jazyce
This paper presents the verification of CRC algorithm properties. We examine<br>a way of verifying of a CRC algorithm using exhaustive state space exploration<br>by model checking method. The CRC algorithm is used for calculation of a<br>message hash value and we focus on verification of the property of finding<br>minimal Hamming distance between two messages having the same hash value. We<br>deal with 16, 32 and 64 bits CRC generator polynomials, especially<br>with one used in the Liberouter project.
Název v anglickém jazyce
Formal Verification of the CRC Algorithm Properties
Popis výsledku anglicky
This paper presents the verification of CRC algorithm properties. We examine<br>a way of verifying of a CRC algorithm using exhaustive state space exploration<br>by model checking method. The CRC algorithm is used for calculation of a<br>message hash value and we focus on verification of the property of finding<br>minimal Hamming distance between two messages having the same hash value. We<br>deal with 16, 32 and 64 bits CRC generator polynomials, especially<br>with one used in the Liberouter project.
Klasifikace
Druh
D - Stať ve sborníku
CEP obor
JC - Počítačový hardware a software
OECD FORD obor
—
Návaznosti výsledku
Projekt
Výsledek vznikl pri realizaci vícero projektů. Více informací v záložce Projekty.
Návaznosti
Z - Vyzkumny zamer (s odkazem do CEZ)
Ostatní
Rok uplatnění
2006
Kód důvěrnosti údajů
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Údaje specifické pro druh výsledku
Název statě ve sborníku
MEMICS 2006 Second Doctoral Workshop on Mathematical and Engineering Methods in Computer Science
ISBN
80-214-3287-X
ISSN
—
e-ISSN
—
Počet stran výsledku
8
Strana od-do
55-62
Název nakladatele
NEUVEDEN
Místo vydání
Mikulov
Místo konání akce
Mikulov
Datum konání akce
27. 10. 2006
Typ akce podle státní příslušnosti
WRD - Celosvětová akce
Kód UT WoS článku
—