Hub-and-spoke Interoperability: an out of the skies approach for large-scale data interoperability

Dissertação para obtenção do Grau de Doutor em Engenharia Electrotécnica e de ComputadoresData Interoperability is a key challenge in large-scale heterogeneous environments. In here, interoperability via standards is not feasible or even possible; then, the classic approach, Point-to-Point (P2P) Interoperability, presents here two key problems: the trouble of non-modifiable systems that inhibit full possible interoperability and the excessive quantity of interoperability resources needed for establishing interoperability. A new approach is required for sustaining interoperability in those environments! Laterally thinking, commercial air transportation environments exhibit similar properties and problems to Data Interoperability environments and therefore face comparable difficulties. Outstanding approaches such as scissor-hub operations and the hub-andspoke paradigm have managed to address those challenges in commercial air transportation environments. Which, looking from data interoperability perspective, raises the idea of Mediated Interoperability and Interoperability Compositions. From there, a novel approach for data interoperability is proposed, the Hub-and-Spoke(H&S) Interoperability, as the hypothesis for addressing data interoperability in largescale environments. The H&S Interoperability approach fully solves the interoperability coverage problem and significantly reduces the number of resources needed for realising interoperability, thus outperforming P2P Interoperability. At the end, it is provided a technological realisation of the H&S approach, as the Plug’n’Interoperate solution, built upon plug-and-play principles applied to data interoperability

Intensional Cyberforensics

This work focuses on the application of intensional logic to cyberforensic analysis and its benefits and difficulties are compared with the finite-state-automata approach. This work extends the use of the intensional programming paradigm to the modeling and implementation of a cyberforensics investigation process with backtracing of event reconstruction, in which evidence is modeled by multidimensional hierarchical contexts, and proofs or disproofs of claims are undertaken in an eductive manner of evaluation. This approach is a practical, context-aware improvement over the finite state automata (FSA) approach we have seen in previous work. As a base implementation language model, we use in this approach a new dialect of the Lucid programming language, called Forensic Lucid, and we focus on defining hierarchical contexts based on intensional logic for the distributed evaluation of cyberforensic expressions. We also augment the work with credibility factors surrounding digital evidence and witness accounts, which have not been previously modeled. The Forensic Lucid programming language, used for this intensional cyberforensic analysis, formally presented through its syntax and operational semantics. In large part, the language is based on its predecessor and codecessor Lucid dialects, such as GIPL, Indexical Lucid, Lucx, Objective Lucid, MARFL, and JOOIP bound by the underlying intensional programming paradigm