Paul A. Karger Helmut Kurth Increased Information Flow Needs for High-Assurance Composite Evaluations. 129-140 2004 IWIA http://csdl.computer.org/comp/proceedings/iwia/2004/2117/00/21170129abs.htm db/conf/iwia/iwia2004.html#KargerK04