Exploring and Conceptualising Attestation

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

doi:10.1007/978-3-030-23182-8_10

Exploring and Conceptualising Attestation

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

Research output: Chapter in Book/Conference proceeding with ISSN or ISBN › Conference contribution with ISSN or ISBN › peer-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 language	English
Title of host publication	Graph-Based Representation and Reasoning - 24th International Conference on Conceptual Structures, ICCS 2019, Proceedings
Editors	Dominik Endres, Mehwish Alam, Diana Şotropa
Place of Publication	Cham
Publisher	Springer
Pages	131-145
Number of pages	15
ISBN (Electronic)	9783030231828
ISBN (Print)	9783030231811
DOIs	https://doi.org/10.1007/978-3-030-23182-8_10
Publication status	Published - 19 Jun 2019

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	11530 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

Access to Document

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

ICCS_2019_post-review_Paper2Accepted author manuscript, 1.19 MB

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

Oliver, Ian ; Howse, John ; Stapleton, Gem et al. / Exploring and Conceptualising Attestation. Graph-Based Representation and Reasoning - 24th International Conference on Conceptual Structures, ICCS 2019, Proceedings. editor / Dominik Endres ; Mehwish Alam ; Diana Şotropa. Cham : Springer, 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 = jun,

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)",

publisher = "Springer",

pages = "131--145",

editor = "Dominik Endres and Mehwish Alam and Diana {\c S}otropa",

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 D Endres, M Alam & D Şotropa (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, Springer, 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 et al.
Graph-Based Representation and Reasoning - 24th International Conference on Conceptual Structures, ICCS 2019, Proceedings. ed. / Dominik Endres; Mehwish Alam; Diana Şotropa. Cham: Springer, 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 ISBN › Conference contribution with ISSN or ISBN › peer-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 - Endres, Dominik

A2 - Alam, Mehwish

A2 - Şotropa, Diana

PB - Springer

CY - Cham

ER -

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

Exploring and Conceptualising Attestation

Abstract

Publication series

Bibliographical note

Keywords

Access to Document

Other files and links

Fingerprint

Cite this