TY - BOOK AU - Madiha Arooj (20777) TI - Modeling authentication in mal sequence diagram U1 - 005 PY - 2019/// CY - Islamabad PB - (unpublished) KW - UML behavioral diagrams KW - Security modeling KW - Sequence diagram KW - Security attacks KW - UML profiling KW - NFR modeling KW - FC N1 - Submitted in fulfillment of the requirements for the degree of Master of Science in Software Engineering to the Faculty of Computer Science; Includes bibliographical references; Thesis supervisor: Dr. Rizwan Bin Fiaz; Thesis co-supervisor: Dr. Muhammad Yousaf; Thesis (MS)--Riphah International University, 2019 ER -