Formal deductive verification of security protocol
Material type:
TextPublisher: Islamabad NUST-SEECS 2015Description: 56p. CD IncludeDDC classification: MSCCS-5 SHI Online resources: Click here to access online
| Item type | Current location | Home library | Collection | Shelving location | Call number | Status | Date due | Barcode | Item holds |
|---|---|---|---|---|---|---|---|---|---|
Thesis
|
Central Library (CL) | Central Library (CL) | Thesis | 005 MSCCS-5 SHI (Browse shelf) | Available | CL-T-4157 | |||
Project Report
|
Central Library (CL) | Central Library (CL) | Thesis | 005 (Browse shelf) | Available | CL-T-3549 | |||
|
Project Report
|
Central Library (CL) | Central Library (CL) | NFIC | General Stacks | MSCCS-5 SHI (Browse shelf) | Available | SEECSP01713 |
Total holds: 0
Supervisors: Dr. Abdul Ghafoor, Dr. Awais Shibli, Dr. Osman Hassan, Rahat Masood
There are no comments on this title.