TY - BOOK AU - Muhammad Mohsin (401248) TI - A novel UML based security specification language U1 - 004 PY - 2019/// CY - Lahore PB - (unpublished) KW - Computer science KW - novel UML KW - Specification language KW - UML based security KW - RICAS N1 - Submitted in fulfillment of the requirements for the degree of Master of science in computer science; Includes bibliographical references; Thesis supervisor: Dr. Muhammad Umair Ahmad Khan; Thesis(MS)--Riphah International University, 2019 ER -