TY  - BOOK
AU  - Ubaid Ullah (24025)
TI  - Modeling and verification of authentication threats in mal sequence diagram through aspect - oriented paradigm
U1  - 005.8 
PY  - 2020///
CY  - Islamabad
PB  - (unpublished)
KW  - Software engineering
KW  - Information security
KW  - Mal sequence diagram
KW  - Authentication threats
KW  - Weaving models
KW  - Semantics
KW  - FC
N1  - 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
Thesis co-supervisor: Syed Hasnain Abbas Bukhari; Thesis(MS)--Riphah International University, 2020
ER  -