Please use this identifier to cite or link to this item:
http://hdl.handle.net/10603/490966
Title: | An information flow security certification of sequential and concurrent programs using dynamic labelling |
Researcher: | Ghosal, Sandip |
Guide(s): | G. Sivakumar and K., Shyamasundar R. |
Keywords: | Computer Science Computer Science Software Engineering Engineering and Technology |
University: | Indian Institute of Technology Bombay |
Completed Date: | 2021 |
Abstract: | Abstract attached newline newline |
Pagination: | NA |
URI: | http://hdl.handle.net/10603/490966 |
Appears in Departments: | Department of Computer Science & Engineering |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
01_title.pdf | Attached File | 208.79 kB | Adobe PDF | View/Open |
02_prelimpages.pdf | 254.98 kB | Adobe PDF | View/Open | |
03_abstract.pdf | 90.46 kB | Adobe PDF | View/Open | |
04_contents.pdf | 256.19 kB | Adobe PDF | View/Open | |
05_chapter_1.pdf | 318.52 kB | Adobe PDF | View/Open | |
06_chapter_2.pdf | 498.17 kB | Adobe PDF | View/Open | |
07_chapter_3.pdf | 360.1 kB | Adobe PDF | View/Open | |
08_chapter_4.pdf | 311.84 kB | Adobe PDF | View/Open | |
09_chapter_5.pdf | 252.33 kB | Adobe PDF | View/Open | |
10_chapter_6.pdf | 475.66 kB | Adobe PDF | View/Open | |
11_chapter_7.pdf | 450.67 kB | Adobe PDF | View/Open | |
12_chapter_8.pdf | 321.07 kB | Adobe PDF | View/Open | |
13_annexure.pdf | 185.08 kB | Adobe PDF | View/Open | |
80_recommendation.pdf | 147.32 kB | Adobe PDF | View/Open |
Items in Shodhganga are licensed under Creative Commons Licence Attribution-NonCommercial-ShareAlike 4.0 International (CC BY-NC-SA 4.0).
Altmetric Badge: