2 papers
cs.CR2026
Modelling Trust and Trusted Systems: A Category Theoretic Approach
Ian Oliver, Pekka Kuure
We introduces a category-theoretic framework for modelling trust as applied to trusted computation systems and remote attestation. By formalizing elements, claims, results, and dec…
cs.CR2023
Ontologising Trustworthy in the Telecommunications Domain
Ian Oliver, Pekka Kuure, Wiktor Sedkowski +1
Based upon trusted and confidential computing platforms, telecommunications systems must provide guaranteed security for the processes and data running atop them. This in turn requ…