Please use this identifier to cite or link to this item: http://hdl.handle.net/10603/448143
Title: Security Requirement specification by formal methods
Researcher: Mishra, Aditya Dev
Guide(s): Mustafa, Khurram
Keywords: 
Computer Science
Engineering and Technology
University: Jamia Milia Islamia University
Completed Date: 2022
Abstract: newline
Pagination: 
URI: http://hdl.handle.net/10603/448143
Appears in Departments:Department of Computer Science

Files in This Item:
File Description SizeFormat 
01_title page.pdfAttached File15.76 kBAdobe PDFView/Open
02_prelim pages.pdf1.67 MBAdobe PDFView/Open
03_table of content.pdf580.62 kBAdobe PDFView/Open
04_chapter 1.pdf607.18 kBAdobe PDFView/Open
05_chapter 2.pdf926.3 kBAdobe PDFView/Open
06_ chapter 3.pdf842.85 kBAdobe PDFView/Open
07_chapter 4.pdf1.06 MBAdobe PDFView/Open
08_chapter 5.pdf1.71 MBAdobe PDFView/Open
09_chapter 6.pdf377.33 kBAdobe PDFView/Open
10_annexure.pdf16.26 MBAdobe PDFView/Open
80_recommendation.pdf390.24 kBAdobe PDFView/Open
Show full item record


Items in Shodhganga are licensed under Creative Commons Licence Attribution-NonCommercial-ShareAlike 4.0 International (CC BY-NC-SA 4.0).

Altmetric Badge: