Towards a new framework for tpm compliance testing

U.T. Elhagari, B. Shanmugam, J.-L.A.B. Manan

Research output: Contribution to journalArticleResearchpeer-review

3 Downloads (Pure)

Abstract

Trusted Computing Group (TCG) has proposed the Trusted Computing (TC) concept. Subsequently, TC becomes a common base for many new computing platforms, called Trusted Platform (TP) architecture (hardware and software) that, practically, has a built-in trusted hardware component mounted at the hardware layer and a corresponding trusted software component installed at the operating system level. The trusted hardware component is called Trusted Platform Module (TPM) whose specification has been issued by TCG group and it is implemented by the industry as a tamper-resistant integrated circuit. In practice, the security of an IT TPM-enabled system relies on the correctness of its mounted TPM. Thus, TPM testing is urgently needed to assist in building confidence of the users on the security functionality provided by the TPM. This paper presents the state of the art of the modelling methods being used in the TPM compliance testing as well as it demonstrates some of the important attacks against TPM. Finally, the paper proposes new framework criteria for TPM Testing that aim at increasing the quality of TPM testing. © 2015 Penerbit UTM Press. All rights reserved.
Original languageEnglish
Pages (from-to)11-17
Number of pages7
JournalJurnal Teknologi
Volume73
Issue number2
Publication statusPublished - 2015
Externally publishedYes

Fingerprint

Testing
Hardware
Compliance
Hardware security
Integrated circuits
Specifications
Trusted computing
Industry

Cite this

Elhagari, U. T., Shanmugam, B., & Manan, J-LAB. (2015). Towards a new framework for tpm compliance testing. Jurnal Teknologi, 73(2), 11-17.
Elhagari, U.T. ; Shanmugam, B. ; Manan, J.-L.A.B. / Towards a new framework for tpm compliance testing. In: Jurnal Teknologi. 2015 ; Vol. 73, No. 2. pp. 11-17.
@article{80460f3483c547648e68525a8263def0,
title = "Towards a new framework for tpm compliance testing",
abstract = "Trusted Computing Group (TCG) has proposed the Trusted Computing (TC) concept. Subsequently, TC becomes a common base for many new computing platforms, called Trusted Platform (TP) architecture (hardware and software) that, practically, has a built-in trusted hardware component mounted at the hardware layer and a corresponding trusted software component installed at the operating system level. The trusted hardware component is called Trusted Platform Module (TPM) whose specification has been issued by TCG group and it is implemented by the industry as a tamper-resistant integrated circuit. In practice, the security of an IT TPM-enabled system relies on the correctness of its mounted TPM. Thus, TPM testing is urgently needed to assist in building confidence of the users on the security functionality provided by the TPM. This paper presents the state of the art of the modelling methods being used in the TPM compliance testing as well as it demonstrates some of the important attacks against TPM. Finally, the paper proposes new framework criteria for TPM Testing that aim at increasing the quality of TPM testing. {\circledC} 2015 Penerbit UTM Press. All rights reserved.",
keywords = "Compliance testing, EFSM, FSM, Modelling, Trusted computing, Trusted platform module",
author = "U.T. Elhagari and B. Shanmugam and J.-L.A.B. Manan",
year = "2015",
language = "English",
volume = "73",
pages = "11--17",
journal = "Jurnal Teknologi",
issn = "2180-3722",
publisher = "Penerbit UTM Press",
number = "2",

}

Elhagari, UT, Shanmugam, B & Manan, J-LAB 2015, 'Towards a new framework for tpm compliance testing', Jurnal Teknologi, vol. 73, no. 2, pp. 11-17.

Towards a new framework for tpm compliance testing. / Elhagari, U.T.; Shanmugam, B.; Manan, J.-L.A.B.

In: Jurnal Teknologi, Vol. 73, No. 2, 2015, p. 11-17.

Research output: Contribution to journalArticleResearchpeer-review

TY - JOUR

T1 - Towards a new framework for tpm compliance testing

AU - Elhagari, U.T.

AU - Shanmugam, B.

AU - Manan, J.-L.A.B.

PY - 2015

Y1 - 2015

N2 - Trusted Computing Group (TCG) has proposed the Trusted Computing (TC) concept. Subsequently, TC becomes a common base for many new computing platforms, called Trusted Platform (TP) architecture (hardware and software) that, practically, has a built-in trusted hardware component mounted at the hardware layer and a corresponding trusted software component installed at the operating system level. The trusted hardware component is called Trusted Platform Module (TPM) whose specification has been issued by TCG group and it is implemented by the industry as a tamper-resistant integrated circuit. In practice, the security of an IT TPM-enabled system relies on the correctness of its mounted TPM. Thus, TPM testing is urgently needed to assist in building confidence of the users on the security functionality provided by the TPM. This paper presents the state of the art of the modelling methods being used in the TPM compliance testing as well as it demonstrates some of the important attacks against TPM. Finally, the paper proposes new framework criteria for TPM Testing that aim at increasing the quality of TPM testing. © 2015 Penerbit UTM Press. All rights reserved.

AB - Trusted Computing Group (TCG) has proposed the Trusted Computing (TC) concept. Subsequently, TC becomes a common base for many new computing platforms, called Trusted Platform (TP) architecture (hardware and software) that, practically, has a built-in trusted hardware component mounted at the hardware layer and a corresponding trusted software component installed at the operating system level. The trusted hardware component is called Trusted Platform Module (TPM) whose specification has been issued by TCG group and it is implemented by the industry as a tamper-resistant integrated circuit. In practice, the security of an IT TPM-enabled system relies on the correctness of its mounted TPM. Thus, TPM testing is urgently needed to assist in building confidence of the users on the security functionality provided by the TPM. This paper presents the state of the art of the modelling methods being used in the TPM compliance testing as well as it demonstrates some of the important attacks against TPM. Finally, the paper proposes new framework criteria for TPM Testing that aim at increasing the quality of TPM testing. © 2015 Penerbit UTM Press. All rights reserved.

KW - Compliance testing

KW - EFSM

KW - FSM

KW - Modelling

KW - Trusted computing

KW - Trusted platform module

UR - https://www.scopus.com/inward/record.uri?eid=2-s2.0-84925353287&partnerID=40&md5=8df5e2aaa8137bb0a15362732a7bf814

M3 - Article

VL - 73

SP - 11

EP - 17

JO - Jurnal Teknologi

JF - Jurnal Teknologi

SN - 2180-3722

IS - 2

ER -