Artificial Intelligence in Cyber Security: Theories and Applications