Верификатор: понятие и виды¶
Верификатор — это устройство, программа или алгоритм, предназначенные для проверки подлинности, достоверности или соответствия объекта заданным критериям. Термин происходит от латинского verificare — «проверять, удостоверять». В зависимости от области применения верификаторы используются для проверки подлинности документов, денежных купюр, электронных подписей, программного кода, биометрических данных и других объектов.
¶Основные области применения
Термин «верификатор» применяется в нескольких отраслях, что приводит к существенному различию в устройстве и принципах работы конкретных устройств:
| Область | Что проверяется | Примеры |
|---|---|---|
| Финансы | Подлинность банкнот и монет | Банковские верификаторы купюр |
| Информационная безопасность | Электронные подписи, сертификаты | Верификаторы ЭЦП, PKI-инфраструктура |
| Документооборот | Подлинность документов | Верификаторы паспортов, дипломов |
| Биометрия | Соответствие биометрических данных | Верификаторы отпечатков пальцев, лиц |
| Программирование | Корректность программ | Статические верификаторы кода |
| Торговля | Подлинность товаров | Верификаторы брендовой продукции |
¶Верификаторы банкнот
Наиболее массовое применение термин получил в банковской сфере. Верификатор банкнот — это устройство, определяющее подлинность бумажных денег по совокупности защитных признаков. Банковские и торговые верификаторы купюр проверяют:
- Магнитные свойства — подлинные банкноты печатаются с использованием магнитных красок с определённой магнитной индукцией;
- Ультрафиолетовую флуоресценцию — защитные волокна и нити в бумаге светятся в УФ-лучах;
- Инфракрасные свойства — часть краски в ИК-диапазоне становится прозрачной;
- Геометрические параметры — размер и толщина купюры;
- Спектральный анализ — распределение красок по поверхности.
В России центробанк периодически обновляет защитные признаки банкнот, поэтому верификаторы требуют обновления программного обеспечения. Производителями таких устройств являются компании Cummins Allison, Glory, Стандарт-Групп и другие.
¶Верификаторы электронной подписи
В информационной безопасности верификатор — это программа или аппаратный модуль, проверяющий криптографическую подпись на достоверность и целостность подписанных данных. В России функция верификации ЭП регулируется Федеральным законом «Об электронной подписи» (№ 63-ФЗ от 6 апреля 2011 года). Верификация подписи включает проверку:
- Целостности подписанных данных — неизменности документа после подписания;
- Действительности сертификата ключа подписи на момент подписания;
- Отсутствия сертификата в списке отозванных (CRL или OCSP);
- Соответствия подписи заявленному типу (простая, усиленная неквалифицированная, усиленная квалифицированная).
Криптографическая верификация основана на математических функциях с лёгким вычислением в одну сторону и трудным — в обратную. Основные алгоритмы: RSA, ГОСТ Р 34.10-2012 (используется в России как обязательный для государственных нужд).
¶Статические верификаторы программного кода
В программной инженерии верификатор — это инструмент формальной верификации, математически доказывающий корректность программы или её свойств. В отличие от тестирования, которое выявляет ошибки на конкретных наборах данных, статический верификатор проверяет утверждения (предикаты) о поведении программы для всех возможных входных данных.
Типичные задачи статических верификаторов:
- Отсутствие выходов за границы массивов;
- Отсутствие переполнений целочисленных типов;
- Соответствие постусловий (пост-условий) после выполнения функции;
- Отсутствие состояний гонки в многопоточных программах.
Известные инструменты: ESC/Java, Dafny, SPARK Ada, Frama-C. В России разработка формальных методов верификации ведётся в Институте систем программирования РАН и на факультете ВМК МГУ.
¶Верификация документов и биометрических данных
В пограничном и миграционном контроле верификаторы паспортов и виз проверяют подлинность документа по защищённым элементам: голографическим наклейкам, машинночитаемой записи, защищённой печати, водяным знакам. Биометрические верификаторы сопоставляют предъявленные данные (отпечаток пальца, радужка, лицо) с эталонными записями в базе данных.
В России единая биометрическая система (ЕБС) использует верификацию голоса и внешности для идентификации клиентов банков удалённо.
¶Критика и ограничения
Верификаторы не гарантируют стопроцентной точности. Ложные срабатывания (ложное отклонение подлинного объекта) и ложные пропуски (пропуск подделки) — основные типы ошибок. В банковской сфере это приводит к конфликтным ситуациям при приёме купюр. В криптографии безопасность верификации ЭП зависит от длины ключа и стойкости алгоритма.
Источники:
- Федеральный закон от 6 апреля 2011 года № 63-ФЗ «Об электронной подписи»
- ГОСТ Р 34.10-2012 «Процессы формирования и проверки электронной цифровой подписи»
- Банк России — информационные материалы о защитных признаках банкнот
- Программная инженерия: формальная верификация / под ред. А. Л. Нечаева. — М.: Вузовская книга, 2010