Status : Verified
| Personal Name | Zuniga, Philip Christian C. |
|---|---|
| Resource Title | A Formal Characterization of Secure Interoperability in Information Exchanges |
| Date Issued | 3 January 2026 |
| Abstract | This dissertation develops a set-theoretic and algebraic formalization of interoperability and security in information exchanges, with a focus on health information systems. Interoperability is defined as a relation between systems across four levels—technical, syntactic, semantic, and pragmatic—each with distinct requirements and constraints. By treating interoperability as a mathematical construct, the study identifies key algebraic properties such as reflexivity, monotonicity, symmetry, and transitivity, and demonstrates how these properties can hold or fail under different circumstances. The model is then extended to incorporate security protocols, including access control, consent, authentication, and encryption, thereby producing a definition of secure interoperability that integrates both functional and protective dimensions of information exchange. The research further examines how architectural paradigms—centralized, federated, distributed, and point-to-point—affect the realization of secure interoperability. Centralized models strengthen reflexivity and monotonicity but concentrate risks, while federated models enable autonomy and resilience but require strong governance to preserve semantic alignment. Distributed architectures maximize flexibility yet complicate trust negotiation and security enforcement. These theoretical insights are grounded in algebraic proofs, which show how interoperability and security properties vary across contexts and levels, providing a robust framework for analyzing real-world exchanges. The formal model is applied to two Philippine use cases: the national Philippine Health Information Exchange (PHIE), implemented through an Enterprise Service Bus, and the Smarter and Integrated Local Health Information System (SMILHIS), an LGU-led federated platform. These cases illustrate how the model explains practical interoperability challenges, validates security protocols, and anticipates trade-offs in governance and infrastruc |
| Degree Course | PhD in Computer Science |
| Language | English |
| Keyword | Interoperability, Security |
| Material Type | Thesis/Dissertation |
Preliminary Pages
1.26 Mb
Category : I - Has patentable or registrable invention of creation.
Access Permission : Limited Access