01072nam a22002057a 4500952012000000999001700120040003600137082001500173100002400188245011500212260003500327300003600362500013800398500004000536500009200576502005400668546001200722650012500734942000700859  00104071aRIUbRIUd2020-07-30eRiphah International University l0o005.8 UBAp51173r2020-07-30 00:00:00t1yTH  c31106d31106  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  cTH