Duration: January 1, 2008 - December 31, 2008 Formal Approach on Intrusion Detection and Response Systems . NSF I/U CRC Center for Information Protection Funding Organizationwww.cs.iastate.eduAward Amount$25,000Principal InvestigatorJohnny Wong