Exploring and Conceptualising Attestation

Ian Oliver, John Howse, Gem Stapleton, Zohreh Shams, Mateja Jamnik

    Research output: Chapter in Book/Conference proceeding with ISSN or ISBNConference contribution with ISSN or ISBNpeer-review


    When formalising the rules of trust in the remote attestation of TPM-based computer systems it is paramount that the rules are precisely understood, supporting unambiguous communication of information about system requirements between engineers. We present a diagrammatic approach to modelling rules of trust using an extended version of concept diagrams. Within the context of our proof-of-concept Network Function Virtualisation and Attestation environment, these rules allow different level of trust to be explored and, importantly, allow us to identify when a computer system should not be trusted. To ensure that the modelling approach can be applied to general systems, we include generic patterns for extending our domain model and rules of trust. Consequently, through the use of a formal, yet accessible, diagrammatic
    notation, domain experts can define rules of trust for their systems.
    Original languageEnglish
    Title of host publicationGraph-Based Representation and Reasoning - 24th International Conference on Conceptual Structures, ICCS 2019, Proceedings
    EditorsDominik Endres, Mehwish Alam, Diana Şotropa
    Place of PublicationCham
    Number of pages15
    ISBN (Electronic)9783030231828
    ISBN (Print)9783030231811
    Publication statusPublished - 19 Jun 2019

    Publication series

    NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
    Volume11530 LNAI
    ISSN (Print)0302-9743
    ISSN (Electronic)1611-3349

    Bibliographical note

    The final authenticated version is available online at https://doi.org/10.1007/978-3-030-23182-8_10


    • Attestation
    • Diagrams
    • Networks
    • Specification
    • Trust


    Dive into the research topics of 'Exploring and Conceptualising Attestation'. Together they form a unique fingerprint.

    Cite this