Ieee Transactions on Automatic Control 1 Modifying Security Policies for the Satisfaction of Intransitive Non-interference