Specifying verifying security requirement specified in temporal logic of actions - Malaika Yaqoob (402482) (Lahore Riphah International University, 2020)
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
Keywords: Computer Science -- Logic design -- SQL injection -- Session management -- Sequential processes -- Temporal logic -- Query language -- Mapping study -- LTL -- FC