Phillip A. Porras Richard A. Kemmerer Covert Flow Trees: A Technique for Identifying and Analyzing Covert Storage Channels. 36-51 1991 IEEE Symposium on Security and Privacy db/conf/sp/sp1991.html#PorrasK91