"bar" is better here. You typically "bar" somebody from doing something, whereas you "ban" something.
Unauthorized shipping is banned.
Semiconductor-makers are barred from unauthorized shipping.
However, I wouldn't go so far as to say that the use of "ban" sounds wrong. "ban" is a more common word and gets used a lot, especially in casual speech. "I've been banned from discussing politics during Christmas dinner, after what happened last year."