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 ISBNResearchpeer-review

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 publication24th International Conference on Conceputal Structures - Graphs in Human and Machine Cognition
Publication statusAccepted/In press - 21 Feb 2019

Publication series

NameLecture Notes in Computer Science
ISSN (Print)0302-9743

Fingerprint

Modeling
Computer systems
Information systems
Communication
Engineers
Virtualization
General systems
Diagrams

Bibliographical note

The final authenticated version is available online at https://doi.org/[insert DOI].

Cite this

Oliver, I., Howse, J., Stapleton, G., Shams, Z., & Jamnik, M. (Accepted/In press). Exploring and Conceptualising Attestation. In 24th International Conference on Conceputal Structures - Graphs in Human and Machine Cognition (Lecture Notes in Computer Science).
Oliver, Ian ; Howse, John ; Stapleton, Gem ; Shams, Zohreh ; Jamnik, Mateja. / Exploring and Conceptualising Attestation. 24th International Conference on Conceputal Structures - Graphs in Human and Machine Cognition. 2019. (Lecture Notes in Computer Science).
@inproceedings{6ee144b3040649a9afd33b108d608e7b,
title = "Exploring and Conceptualising Attestation",
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, diagrammaticnotation, domain experts can define rules of trust for their systems.",
author = "Ian Oliver and John Howse and Gem Stapleton and Zohreh Shams and Mateja Jamnik",
note = "The final authenticated version is available online at https://doi.org/[insert DOI].",
year = "2019",
month = "2",
day = "21",
language = "English",
series = "Lecture Notes in Computer Science",
booktitle = "24th International Conference on Conceputal Structures - Graphs in Human and Machine Cognition",

}

Oliver, I, Howse, J, Stapleton, G, Shams, Z & Jamnik, M 2019, Exploring and Conceptualising Attestation. in 24th International Conference on Conceputal Structures - Graphs in Human and Machine Cognition. Lecture Notes in Computer Science.

Exploring and Conceptualising Attestation. / Oliver, Ian; Howse, John; Stapleton, Gem; Shams, Zohreh; Jamnik, Mateja.

24th International Conference on Conceputal Structures - Graphs in Human and Machine Cognition. 2019. (Lecture Notes in Computer Science).

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

TY - GEN

T1 - Exploring and Conceptualising Attestation

AU - Oliver, Ian

AU - Howse, John

AU - Stapleton, Gem

AU - Shams, Zohreh

AU - Jamnik, Mateja

N1 - The final authenticated version is available online at https://doi.org/[insert DOI].

PY - 2019/2/21

Y1 - 2019/2/21

N2 - 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, diagrammaticnotation, domain experts can define rules of trust for their systems.

AB - 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, diagrammaticnotation, domain experts can define rules of trust for their systems.

M3 - Conference contribution with ISSN or ISBN

T3 - Lecture Notes in Computer Science

BT - 24th International Conference on Conceputal Structures - Graphs in Human and Machine Cognition

ER -

Oliver I, Howse J, Stapleton G, Shams Z, Jamnik M. Exploring and Conceptualising Attestation. In 24th International Conference on Conceputal Structures - Graphs in Human and Machine Cognition. 2019. (Lecture Notes in Computer Science).