Haha, well, that's not really the point. But I really would assume that people in the military would be smart enough to not type some lamer $decode() message. I mean, I really don't think the "Hey you wan opz in #chanz type: //bleh" stuff would work on them.
However, the initial hack, would be what would screw them over. Cause if someone could pop into their "Channel" at any given time, sure, information could leak. I really hope they're using some sort of network, that isn't actually attached to the internet.
Anyway, here's to hoping the Military is smart enough to not have overlooked possible info-leak threats.