Discusses applications of artificial intelligence, machine learning, and data mining, as well as other tools and strategies to protect networks against security threats and solve security and privacy problems. The book features research on topics such as encryption, neural networks, and system verification.