Covert flow trees: a technique for identifying and analyzing covert storage channels | IEEE Conference Publication | IEEE Xplore