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 publicationGraph-Based Representation and Reasoning - 24th International Conference on Conceptual Structures, ICCS 2019, Proceedings
EditorsMehwish Alam, Diana Şotropa, Dominik Endres
Place of PublicationCham
Pages131-145
Number of pages15
ISBN (Electronic)9783030231828
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

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/10.1007/978-3-030-23182-8_10

Keywords

  • Attestation
  • Diagrams
  • Networks
  • Specification
  • Trust

Cite this

Oliver, I., Howse, J., Stapleton, G., Shams, Z., & Jamnik, M. (2019). Exploring and Conceptualising Attestation. In M. Alam, D. Şotropa, & D. Endres (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). Cham. https://doi.org/10.1007/978-3-030-23182-8_10
Oliver, Ian ; Howse, John ; Stapleton, Gem ; Shams, Zohreh ; Jamnik, Mateja. / Exploring and Conceptualising Attestation. Graph-Based Representation and Reasoning - 24th International Conference on Conceptual Structures, ICCS 2019, Proceedings. editor / Mehwish Alam ; Diana Şotropa ; Dominik Endres. Cham, 2019. pp. 131-145 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).
@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.",
keywords = "Attestation, Diagrams, Networks, Specification, Trust",
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/10.1007/978-3-030-23182-8_10",
year = "2019",
month = "6",
day = "19",
doi = "10.1007/978-3-030-23182-8_10",
language = "English",
isbn = "9783030231811",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
pages = "131--145",
editor = "Mehwish Alam and Diana Şotropa and Dominik Endres",
booktitle = "Graph-Based Representation and Reasoning - 24th International Conference on Conceptual Structures, ICCS 2019, Proceedings",

}

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

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

Graph-Based Representation and Reasoning - 24th International Conference on Conceptual Structures, ICCS 2019, Proceedings. ed. / Mehwish Alam; Diana Şotropa; Dominik Endres. Cham, 2019. p. 131-145 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 11530 LNAI).

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/10.1007/978-3-030-23182-8_10

PY - 2019/6/19

Y1 - 2019/6/19

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.

KW - Attestation

KW - Diagrams

KW - Networks

KW - Specification

KW - Trust

UR - http://www.scopus.com/inward/record.url?scp=85068592135&partnerID=8YFLogxK

U2 - 10.1007/978-3-030-23182-8_10

DO - 10.1007/978-3-030-23182-8_10

M3 - Conference contribution with ISSN or ISBN

SN - 9783030231811

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 131

EP - 145

BT - Graph-Based Representation and Reasoning - 24th International Conference on Conceptual Structures, ICCS 2019, Proceedings

A2 - Alam, Mehwish

A2 - Şotropa, Diana

A2 - Endres, Dominik

CY - Cham

ER -

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