Abdulbasit M. Ahmed2022-05-262022-05-2620633https://drepo.sdl.edu.sa/handle/20.500.14154/34599Online Network Intrusion Detection System Using Temporal Logic and Stream Data ProcessingThesis