Matthias Fitzi and Ueli Maurer Department of Computer ScienceNovember 7th, 2007FiledNovember 7th, 2007