Ubaid Ullah (24025) <br/><br/>
Modeling and verification of authentication threats in mal sequence diagram through aspect - oriented paradigm 

 - Islamabad  (unpublished)  2020 
 - x, 54 p.  : ill.  ; 30 cm.  +CD 
<br/><br/> Submitted in fulfillment of the requirements for the degree of Master of Science in Software Engineering to the Faculty of Computing.  Includes bibliographical references  Thesis supervisor: Dr. Rizwan Bin Fiaz<br/>Thesis co-supervisor: Syed Hasnain Abbas Bukhari 
<br/><br/>Thesis(MS)--Riphah International University, 2020 
<br/><br/><br/>English 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Software engineering<br/>Information security--Mal sequence diagram--Authentication threats --Weaving models--Semantics--FC
<br/><br/><label>Dewey Class. No.: </label>005.8  / UBA