Általánosban mi a serial key generálásnak a matematika háttere?

Egy programot szeretnék levédeni, de még sosem foglalkoztam serial key generálással. Ezért gondolom először aki kibocsátja a programot legenerál rengeteg serial keyt, amit a programhoz adnak, a programban pedig van egy algoritmus ami megvizsgálja a matematikai helyességet. Ha megfelelő akkor használhatóvá válik a program.

Hogy néz ki egy ilyen algoritmus, pontosabban hogy néz ki egy ilyen matematikailag?