Using Codecharts for formally modelling and automating detection of patterns with application to Security Patterns

dc.contributor.advisorDr Martin J Colley
dc.contributor.authorABDULLAH ABDUALRAHMAN H ALZAHRANI
dc.date2016
dc.date.accessioned2022-05-26T16:45:29Z
dc.date.available2022-05-26T16:45:29Z
dc.degree.departmentIT
dc.identifier.other28689
dc.identifier.urihttps://drepo.sdl.edu.sa/handle/20.500.14154/30332
dc.publisherSaudi Digital Library
dc.titleUsing Codecharts for formally modelling and automating detection of patterns with application to Security Patterns
dc.typeThesis
sdl.thesis.levelDoctoral
sdl.thesis.sourceSACM - United Kingdom

Files

Copyright owned by the Saudi Digital Library (SDL) © 2025