A new biometric ID-based cryptography protocol and security analysis using Petri nets

Aljeaid, D., Ma, X. ORCID: 0000-0003-0074-4192 and Langensiepen, C. ORCID: 0000-0002-0165-9048, 2015. A new biometric ID-based cryptography protocol and security analysis using Petri nets. In: 6th Annual International Conference on ICT: Big Data, Cloud and Security (ICT-BDCS 2016), Singapore, 27-28 July 2015.

605836_a1063_Ma.pdf - Post-print

Download (1MB) | Preview


This paper presents a Petri net (PN) approach to modelling, simulating, and analysing the new protocol we have proposed. This new protocol is an enhanced authentication scheme based on a biometric verification mechanism and identity based cryptography. A formal approach like Petri nets allows one to represent cryptographic protocols. For the sake of simplicity, a complex PN model will not be discussed in this paper until all attacks are demonstrated and the model proved to be secure. This paper shows how Petri nets are used to model, analyse and detect flaws in our new protocol. First, our proposed protocol is modelled without an adversary, and then a generic adversary model is added to examine all possible adversary behaviours. Finally we demonstrate how Petri nets can be used to analyse security threats such as man-in-the-middle attack, reflection attack, and parallel session attack on this protocol.

Item Type: Conference contribution
Creators: Aljeaid, D., Ma, X. and Langensiepen, C.
Date: 2015
Divisions: Schools > School of Science and Technology
Record created by: Jonathan Gallacher
Date Added: 22 Apr 2016 09:33
Last Modified: 31 May 2021 15:14
URI: https://irep.ntu.ac.uk/id/eprint/27671

Actions (login required)

Edit View Edit View


Views per month over past year


Downloads per month over past year