00941nam a22001937a 4500 0 0 0 1 RIU RIU 2020-07-30 Riphah International University 0 005.8 UBA 51173 2020-07-30 00:00:00 1 TH 31106 31106 Riphah International University 005.8 UBA Ubaid Ullah (24025) Modeling and verification of authentication threats in mal sequence diagram through aspect - oriented paradigm Islamabad (unpublished) 2020 x, 54 p. : ill. ; 30 cm. +CD 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 English Software engineering Information security Mal sequence diagram Authentication threats Weaving models Semantics FC TH