Formal Verification of the CRC Algorithm Properties

Logo poskytovatele

Varování

Publikace nespadá pod Pedagogickou fakultu, ale pod Fakultu informatiky. Oficiální stránka publikace je na webu muni.cz.
Název česky Formální verifikace vlastností CRC algoritmů
Autoři

SMRČKA Aleš HLÁVKA Petr ŠAFRÁNEK David ŘEHÁK Vojtěch ŠIMEČEK Pavel VOJNAR Tomáš

Rok publikování 2006
Druh Článek ve sborníku
Konference Proceedings of 2nd Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS 2006)
Fakulta / Pracoviště MU

Fakulta informatiky

Citace
Obor Informatika
Klíčová slova formal verification; CRC algorithms; generating polynomial
Popis Článek se zabývá experimentální metodou ověření vlastností algoritmů CRC používaných v projektu Liberouter při vývoji síťového hardware. Zejména je navržena a v případové studii demonstrována metoda hledání minimální Hammingovy vzdálenosti dvou zpráv naléžejícím témuž hashovacímu klíči (kolizní dvojice). Při navrhovaném přístupu je použito metody ověřování modelů.
Související projekty:

Používáte starou verzi internetového prohlížeče. Doporučujeme aktualizovat Váš prohlížeč na nejnovější verzi.