00892nam a22001697a 4500040003600000082001500036100002400051245011500075260003500190300003600225500013800261500004000399500009200439502005400531546001200585650012500597  cRiphah International University  a005.8bUBA  aUbaid Ullah (24025)  aModeling and verification of authentication threats in mal sequence diagram through aspect - oriented paradigm  aIslamabadb(unpublished)c2020  ax, 54 p.b: ill.c; 30 cm.e+CD  aSubmitted in fulfillment of the requirements for the degree of Master of Science in Software Engineering to the Faculty of Computing.  aIncludes bibliographical references  aThesis supervisor: Dr. Rizwan Bin Fiaz
Thesis co-supervisor: Syed Hasnain Abbas Bukhari  aThesis(MS)--Riphah International University, 2020  aEnglish  aSoftware engineeringaInformation securityvMal sequence diagramvAuthentication threats vWeaving modelsvSemanticsvFC