Biometric identity-based cryptography for e-Government environment

Aljeaid, Dania; Ma, Xiaoqi; Langensiepen, Caroline

doi:10.1109/sai.2014.6918245

Cited by 6 publications

(10 citation statements)

References 28 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…At this stage, we will test different attacks, such as impersonation attack, man-in-the-middle attack, and replay attack against the modified protocol and verify the security requirements. After analysis with PN, we will do a comparison between the previous protocol [5] and the modified version of it.…”

Section: Discussionmentioning

confidence: 99%

“…In our previous work [5], we have developed a new authentication protocol that allows remote mutual authentication with key agreement. Our new protocol is based on biometric verification and ID-based Cryptograph.…”

Section: B Review Of Proposed Protocolmentioning

confidence: 99%

“…1. Based on the investigation above, we need to modify the state machine described in [5,6] according to the new enhancements.…”

Section: Encrypt (Message) || Macmentioning

confidence: 99%

See 2 more Smart Citations

Analysis of Security Protocols using Finite-State Machines

Aljeaid¹,

Ma²,

Langensiepen³

2015

ijarai

Self Cite

View full text Add to dashboard Cite

Abstract-This paper demonstrates a comprehensive analysis method using formal methods such as finite-state machine. First, we describe the modified version of our new protocol and briefly explain the encrypt-then-authenticate mechanism, which is regarded as more a secure mechanism than the one used in our protocol. Then, we use a finite-state verification to study the behaviour of each machine created for each phase of the protocol and examine their behaviours together. Modelling with finitestate machines shows that the modified protocol can function correctly and behave properly even with invalid input or time delay.

show abstract

Section: Discussionmentioning

confidence: 99%

Section: B Review Of Proposed Protocolmentioning

confidence: 99%

See 1 more Smart Citation

Analysis of Security Protocols using Finite-State Machines

Aljeaid¹,

Ma²,

Langensiepen³

2015

ijarai

Self Cite

View full text Add to dashboard Cite

show abstract

“…In our previous work [12], we have developed a new authentication protocol that allows remote mutual authentication with key agreement. Our new protocol is based on biometric verification and ID-based Cryptograph [13].…”

Section: B Review Of Proposed Protoclmentioning

confidence: 99%

A New Biometric ID-Based Cryptography Protocol and Security Analysis Using Petri Nets

Aljeaid¹,

Ma²,

Langensiepen³

2015

6th Annual International Conference on ICT: Big Data, Cloud and Security (ICT-BDCS 2015)

Self Cite

View full text Add to dashboard Cite

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.

show abstract

“…As a highly efficient parallel search algorithm with few controlled parameters, the DE algorithm has been widely used in neuron networks [3,4], power systems [5,6], vehicle routing problems [7][8][9][10][11] and many other fields [12][13][14][15][16][17][18][19][20]. Like other intelligent algorithms, however, the DE algorithm also has disadvantages such as precocity, strong parameter dependence and difficulty in obtaining global optimum values for high-dimensional complex objective functions [21][22][23][24][25][26][27]. Therefore, researchers proposed a number of improvement strategies for DE's existing shortcomings.…”

Section: Introductionmentioning

confidence: 99%

Adaptive Dynamic Disturbance Strategy for Differential Evolution Algorithm

Wang

et al. 2020

Applied Sciences

View full text Add to dashboard Cite

To overcome the problems of slow convergence speed, premature convergence leading to local optimization and parameter constraints when solving high-dimensional multi-modal optimization problems, an adaptive dynamic disturbance strategy for differential evolution algorithm (ADDSDE) is proposed. Firstly, this entails using the chaos mapping strategy to initialize the population to increase population diversity, and secondly, a new weighted mutation operator is designed to weigh and combinemutation strategies of the standard differential evolution (DE). The scaling factor and crossover probability are adaptively adjusted to dynamically balance the global search ability and local exploration ability. Finally, a Gauss perturbation operator is introduced to generate a random disturbance variation, and to accelerate premature individuals to jump out of local optimization. The algorithm runs independently on five benchmark functions 20 times, and the results show that the ADDSDE algorithm has better global optimization search ability, faster convergence speed and higher accuracy and stability compared with other optimization algorithms, which provide assistance insolving high-dimensionaland complex problems in engineering and information science.

show abstract

Biometric identity-based cryptography for e-Government environment

Cited by 6 publications

References 28 publications

Analysis of Security Protocols using Finite-State Machines

Analysis of Security Protocols using Finite-State Machines

A New Biometric ID-Based Cryptography Protocol and Security Analysis Using Petri Nets

Adaptive Dynamic Disturbance Strategy for Differential Evolution Algorithm

Contact Info

Product

Resources

About