Dr.Xiaoqi MaABDULLAH ABDULRAHMAN F ALABDULATIF2022-05-292022-05-2923374https://drepo.sdl.edu.sa/handle/20.500.14154/43747A FRAMEWORK USING LINEARTEMPORAL LOGIC TO VERIFYCRYPTOGRAPHIC PROTOCOLSThesis