conf/csfw/2005, 18th IEEE Computer Security Foundations Workshop, (CSFW-18 2005), 20-22 June 2005, Aix-en-Provence, France, CSFW, 2005, http://dblp.uni-trier.de/db/conf/csfw/csfw2005.html, IEEE Computer Society, 0-7695-2340-4