DNSу принципиально пофигу по какому протоколу идет запрос, его задача имена преобразовывать, отсеять их проще простого, запрещаем на фаирволе 443 порт и все дела, в 99% случаев это поможет. Еще можно для прокси задать разные правила работы с http и https, не хватает данных по задаче. Что значит распределение трафика? Http через один канал, https через другой? Так это решается правилами форвардинга портов.