Modeling and verification of authentication threats in mal sequence diagram through aspect - oriented paradigm
Ubaid Ullah (24025)
creator
text
Islamabad
(unpublished)
2020
monographic
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
005.8 UBA