VipNet

если ты не знаешь, что такое vpn, то есть два пути:
1. ТК РФ ст. 80
2. обратиться к админу сети, куда нужен доступ, он тебе всё расскажет.

Это имя не резолвится, и я не получаю ip адрес сервера в этой сети

нет, пожалуй всё же ТК РФ ст. 80.

поднимаешь прокси http и все работает

VipNet - это свой VPN для госструктур и компаний которые работают с гос заказами.

Тебе надо поднять этот VPN и использовать его DNS серверы.

К тому же там не всё так просто, нужны ещё ключи для доступа в эту сеть и определённые версии ПО, которое поддерживает работу с ключами шифрования.

Погугли.

А так, у тебя в инструкции по подключению должно быть всё расписано.

Прислали ПО - VipNet Client 4.

Это платное ПО и его, обычно, не присылают, а устанавливают на месте специально обученные устанавливатели. И вопросы по нему следует задавать не на этот форум, а в специально обученную техподдержку.