"...Нужно ли нам применять какие-то особые действия при регистрации на виртуальной машине?..."
Да, нужно.
На виртуальной машине не используется HASP-ключ. Вместо него используется программный сетевой ключ с проверкой в интернете. Он предоставляется в виде регистрационного файла (reg).
Поэтому на виртуальной машине нужно применять два типа регистрационных файлов:
- для лицензий продуктов (как минимум один файл)
- для сетевого ключа (один файл)
Правила работы с сетевым ключом здесь.