Dieter Hutter Matthias Klusch Melanie Volkamer Information Flow Analysis Based Security Checking of Health Service Composition Plans. 59-70 2006 conf/eceh/2006 ECEH db/conf/eceh/eceh2006.html#HutterKV06 http://subs.emis.de/LNI/Proceedings/Proceedings91/article4615.html