Security properties analysis in a TPM-based protocol

Seifi, Y, Suriadi, S, Foo, E, & Boyd, C (2014) Security properties analysis in a TPM-based protocol. International Journal of Security and Networks, 9(2), pp. 85-103.

View at publisher


Security protocols are designed in order to provide security properties (goals). They achieve their goals using cryptographic primitives such as key agreement or hash functions. Security analysis tools are used in order to verify whether a security protocol achieves its goals or not. The analysed property by specific purpose tools are predefined properties such as secrecy (confidentiality), authentication or non-repudiation. There are security goals that are defined by the user in systems with security requirements. Analysis of these properties is possible with general purpose analysis tools such as coloured petri nets (CPN). This research analyses two security properties that are defined in a protocol that is based on trusted platform module (TPM). The analysed protocol is proposed by Delaune to use TPM capabilities and secrets in order to open only one secret from two submitted secrets to a recipient

Impact and interest:

0 citations in Scopus
Search Google Scholar™

Citation counts are sourced monthly from Scopus and Web of Science® citation databases.

These databases contain citations from different subsets of available publications and different time periods and thus the citation count from each is usually different. Some works are not in either database and no count is displayed. Scopus includes citations from articles published in 1996 onwards, and Web of Science® generally from 1980 onwards.

Citations counts from the Google Scholar™ indexing service can be viewed at the linked Google Scholar™ search.

ID Code: 72108
Item Type: Journal Article
Refereed: Yes
Keywords: ASK-CTL, Coloured petri nets, CPN, CPN/tools, Security analysis, Security properties, TPM, Trusted platform module
DOI: 10.1504/IJSN.2014.060742
ISSN: 1747-8413
Divisions: Current > Schools > School of Electrical Engineering & Computer Science
Current > Schools > School of Information Systems
Current > QUT Faculties and Divisions > Science & Engineering Faculty
Copyright Owner: © 2014 Inderscience Enterprises Ltd.
Deposited On: 26 May 2014 03:32
Last Modified: 01 Jul 2014 00:34

Export: EndNote | Dublin Core | BibTeX

Repository Staff Only: item control page