Formal verification of group privacy requirements

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 View Item

Downloads

Downloads per month over past year