TY - CONF TI - Using static analysis and verification for analyzing virus and worm programs AU - Singh, Prabhat K AU - Moinuddin, Mohammed AU - Lakhotia, Arun C3 - Proceedings of the 2nd European Conference on Information Warfare and Security DA - 2003/// PY - 2003 SP - 281 EP - 292 ER -