BibSonomy publications for /author/ElbadawiFri Dec 02 00:00:00 CET 2011ICEGOVconf/icegov/2011387-388Cloud computing for e-government in UAE: opportunities, challenges and service models.2011dblp Tue Jan 11 00:00:00 CET 2011GLOBECOMconf/globecom/20101-6High Level Abstraction Modeling for Network Configuration Validation.2010dblp Thu Mar 04 00:00:00 CET 2010ICCconf/icc/20091-5Information Theoretic Approach for Characterizing Spam Botnets Based on Traffic Properties.2009dblp Wed Jan 20 00:00:00 CET 2010ICNPconf/icnp/2009123-132Network Configuration in A Box: Towards End-to-End Verification of Network Reachability and Security.2009dblp Wed May 06 00:00:00 CEST 2009ASIACCSconf/ccs/2009asia135-145TimeVM: a framework for online intrusion mitigation and fast recovery using multi-time-lag traffic replay.2009dblp