L. Liu On Security Flow Analysis in Computer Systems (Preliminary Report). 22-33 1980 IEEE Symposium on Security and Privacy db/conf/sp/sp1980.html#Liu80