Information flow control in object-oriented systems