Вывод от одного из значений глагола вывести – направить куда-л. Невывод оружия в космос = неразмещение оружия в космосе.
У глагола ввести есть значение "управляя чем-либо, направить внутрь, в пределы чего-либо" (в толковом словаре это значение номер два). Поэтому употребление корректно. Вариант с глаголом вывезти также верен.