Enriquillo Valdez Moti Yung DISSECT: DIStribution for SECurity Tool. 125-143 2001 conf/isw/2001 ISC http://link.springer.de/link/service/series/0558/bibs/2200/22000125.htm db/conf/isw/isc2001.html#ValdezY01