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 ISBN

Abstract

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
PublisherSpringer
Pages131-145
Number of pages15
ISBN (Electronic)9783030231828
ISBN (Print)9783030231811
DOIs
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

Keywords

  • Attestation
  • Diagrams
  • Networks
  • Specification
  • Trust

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

  • Cite this

    Oliver, I., Howse, J., Stapleton, G., Shams, Z., & Jamnik, M. (2019). Exploring and Conceptualising Attestation. In D. Endres, M. Alam, & D. Şotropa (Eds.), Graph-Based Representation and Reasoning - 24th International Conference on Conceptual Structures, ICCS 2019, Proceedings (pp. 131-145). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 11530 LNAI). Springer. https://doi.org/10.1007/978-3-030-23182-8_10