TY - BOOK AU - Shamsa Siddique (19742) TI - Modeling security specific authentication, authorization, availability in extended state machine U1 - 005.14 PY - 2018/// CY - Islamabad PB - (unpublished) KW - Modeling security KW - Unified modeling language KW - Enterprise resource planning KW - Software requirement specification KW - Extended state machine KW - UML extension KW - FC N1 - Submitted in fulfillment of the requirements for the degree of Master of Science to the Faculty of Computing; Includes bibliographical references; Thesis supervisor: Dr. Rizwan Bin Faiz; Thesis (MS)-- Riphah International University, 2018 ER -