Ну, не похоже, чтобы у кого-то были какие-либо ответы или предложения, поэтому мне пришлось проявить немного творчества ... После долгих раздумий и очень сильного желания НЕ писать свой собственный TCP-сервер для этой цели я упал на другое, не менее приемлемое решение: веб-сервисы.
Самая большая проблема, с которой мы столкнулись при использовании WMI, - это только когда выполняются вызовы из удаленной сети (кажется, что удаленные машины в той же локальной сети работают нормально), поэтому на самом деле мне просто нужна была некоторая инфраструктура для использования в качестве прокси для вызовов WMI. Итак, я написал простой веб-сервис, и все работает отлично; не нужно беспокоиться о пользовательских потоках на внутреннем TCP-сервере или о шифровании пакетов благодаря SSL.
Надеюсь, это поможет любому, у кого такая же проблема!
J