Dr Martin J ColleyABDULLAH ABDUALRAHMAN H ALZAHRANI2022-05-262022-05-2628689https://drepo.sdl.edu.sa/handle/20.500.14154/30332Using Codecharts for formally modelling and automating detection of patterns with application to Security PatternsThesis