Modeling and verification of authentication threats in mal sequence diagram through aspect - oriented paradigm (Record no. 31106)

MARC details
000 -LEADER
fixed length control field 00941nam a22001937a 4500
040 ## - CATALOGING SOURCE
Transcribing agency Riphah International University
082 ## - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 005.8
Author Mark UBA
100 ## - MAIN ENTRY--PERSONAL NAME
Authorship Ubaid Ullah (24025)
245 ## - TITLE STATEMENT
Title Modeling and verification of authentication threats in mal sequence diagram through aspect - oriented paradigm
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT)
Place of publication Islamabad
Name of publisher (unpublished)
Date of publication 2020
300 ## - PHYSICAL DESCRIPTION
Extent x, 54 p.
Illustrations : ill.
Dimensions ; 30 cm.
Accompanying material +CD
500 ## - GENERAL NOTE
General note Submitted in fulfillment of the requirements for the degree of Master of Science in Software Engineering to the Faculty of Computing.
500 ## - GENERAL NOTE
General note Includes bibliographical references
500 ## - GENERAL NOTE
General note Thesis supervisor: Dr. Rizwan Bin Fiaz<br/>Thesis co-supervisor: Syed Hasnain Abbas Bukhari
502 ## - DISSERTATION NOTE
Dissertation note Thesis(MS)--Riphah International University, 2020
546 ## - LANGUAGE NOTE
Language note English
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM
Subject Software engineering
-- Information security
Keywords Mal sequence diagram
-- Authentication threats
-- Weaving models
-- Semantics
-- FC
942 ## - ADDED ENTRY ELEMENTS (KOHA)
item type Thesis
Holdings
Not for loan Home library Current library Source of acquisition Full call number Barcode Copy number Koha item type
NOT for LOAN Main Campus Main Campus Riphah International University 005.8 UBA 51173 1 Thesis
Copyright © 2026 Riphah International University | System Administrator