Další formáty:
BibTeX
LaTeX
RIS
@misc{597384, author = {Šafránek, David and Řehák, Vojtěch and Kratochvíla, Tomáš and Šimeček, Pavel and Hlávka, Petr and Vojnar, Tomáš}, address = {Brno}, keywords = {CRC64; formal verification; correctness of CRC algorithm}, language = {eng}, location = {Brno}, publisher = {CESNET, z. s. p. o.}, title = {CRC64 Algorithm Analysis and Verification}, url = {http://www.cesnet.cz/doc/techzpravy/2005/crc64/}, year = {2005} }
TY - GEN ID - 597384 AU - Šafránek, David - Řehák, Vojtěch - Kratochvíla, Tomáš - Šimeček, Pavel - Hlávka, Petr - Vojnar, Tomáš PY - 2005 TI - CRC64 Algorithm Analysis and Verification VL - Technical Report 27/2005 PB - CESNET, z. s. p. o. CY - Brno KW - CRC64 KW - formal verification KW - correctness of CRC algorithm UR - http://www.cesnet.cz/doc/techzpravy/2005/crc64/ L2 - http://www.cesnet.cz/doc/techzpravy/2005/crc64/ N2 - This work analyzes the use of a CRC64 algorithm as a hashing function in the Netflow project. We describe the basis of Cyclic Redundancy Check (CRC) algorithms and consider properties like collision probability, Hamming distance, and quality of distribution, which are crucial for hashing functions. Lower or upper bounds of these properties are described mathematically. However, to give more precise numbers to hardware designers, we also try to find them using model checking method. ER -
ŠAFRÁNEK, David, Vojtěch ŘEHÁK, Tomáš KRATOCHVÍLA, Pavel ŠIMEČEK, Petr HLÁVKA a Tomáš VOJNAR. \textit{CRC64 Algorithm Analysis and Verification}. Brno: CESNET, z. s. p. o. Technical Report 27/2005. 2005.
|