Etuk, Ubong Effiong (2025) Formal verification of group privacy requirements. PhD thesis, University of Glasgow.
Due to Embargo and/or Third Party Copyright restrictions, this thesis is not available in this service.Abstract
Abstract not currently available.
| Item Type: | Thesis (PhD) |
|---|---|
| Qualification Level: | Doctoral |
| Additional Information: | Supported by funding from the Tertiary Education Trust Fund (TETFUND). |
| Subjects: | Q Science > QA Mathematics > QA75 Electronic computers. Computer science |
| Colleges/Schools: | College of Science and Engineering > School of Computing Science |
| Supervisor's Name: | Omoronyia, Dr. Inah, Storer, Dr. Timothy and Khamis, Dr. Mohamed |
| Date of Award: | 2025 |
| Embargo Date: | 1 April 2028 |
| Depositing User: | Theses Team |
| Unique ID: | glathesis:2025-85048 |
| Copyright: | Copyright of this thesis is held by the author. |
| Date Deposited: | 11 Apr 2025 15:05 |
| Last Modified: | 11 Apr 2025 15:05 |
| Thesis DOI: | 10.5525/gla.thesis.85048 |
| URI: | https://theses.gla.ac.uk/id/eprint/85048 |
Actions (login required)
![]() |
View Item |
Downloads
Downloads per month over past year

Tools
Tools