00903nam a22001937a 4500 0 0 0 1 LCC LCC 2021-10-02 Riphah International University 0 004 MAL 80105 2021-10-02 00:00:00 1 2021-10-02 TH 38761 38761 Riphah International University 004 MAL Malaika Yaqoob (402482) Specifying verifying security requirement specified in temporal logic of actions Lahore 2020 Riphah International University x, 62 p. : ill. ; 30 cm. +CD Submitted in fulfillment of the requirements for the degree of Master of Science in Computer Science at Faculty of Computing. Includes bibliographic references. Thesis Supervisor: Dr. Jasim Saeed Thesis (MS)--Riphah International University, 2020 English language Computer Science Logic design SQL injection Session management Sequential processes Temporal logic Query language Mapping study LTL FC TH