Teaching Supervised Theses Efficient and Effective Methodologies for Exploring and Prediction Movement Patterns in Large Networks Online network intrusion detection system using temporal logic and stream data processing