Ciarán Bryce Information Flow Control in Object-Oriented Programs. 117-132 1993 conf/oopsla/1993w Security for Object-Oriented Systems db/conf/oopsla/oopsla1993w.html#Bryce93