Как работают 25-значные ключи продуктов?

Продукты Microsoft и другие продукты часто имеют ключ продукта, состоящий из 5 групп по 5 символов, например:

ABCDE-12345-ABCDE-12345-VWXYZ

Как продукт узнает, действителен ли ключ? Какая-то криптография? Есть ли библиотека, если я хочу использовать такой ключ продукта в своем коде?