Malaika Yaqoob  (402482) <br/><br/>
Specifying verifying security requirement specified in temporal logic of actions 

 - Lahore  Riphah International University   2020 
 - x, 62 p.   : ill.   ; 30 cm.  +CD 
<br/><br/> 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 
<br/><br/>Thesis (MS)--Riphah International University, 2020 
<br/><br/><br/>English language 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer Science <br/>Logic design--SQL injection--Session management--Sequential processes--Temporal logic--Query language--Mapping study--LTL--FC
<br/><br/><label>Dewey Class. No.: </label>004  / MAL