Specification and testing of security specific authentication, access control and availability through OCL (Record no. 23856)

MARC details
000 -LEADER
fixed length control field 00892nam a22001817a 4500
040 ## - CATALOGING SOURCE
Transcribing agency Riphah International University
082 ## - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 005.3
Author Mark ASI
100 ## - MAIN ENTRY--PERSONAL NAME
Authorship Asif Raza (19665)
245 ## - TITLE STATEMENT
Title Specification and testing of security specific authentication, access control and availability through OCL
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT)
Place of publication Islamabad
Name of publisher (unpublished)
Date of publication 2018
300 ## - PHYSICAL DESCRIPTION
Extent iv, 32 p.
Illustrations : ill.
Dimensions ; 29 cm.
Accompanying material + CD
500 ## - GENERAL NOTE
General note Submitted in fulfillment of the requirements for the degree of Masters 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 Faiz
502 ## - DISSERTATION NOTE
Dissertation note Thesis (MS)--Riphah International University, 2018
546 ## - LANGUAGE NOTE
Language note English
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM
Subject Specification testing- Software
Keywords Equivalence class partitioning
-- Mutation software- Testing
-- Object constraint language
-- Security modeling
-- FC
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.3 ASI 50200 1 Thesis
Copyright © 2026 Riphah International University | System Administrator