Search

The identification protocol is a type of zero-knowledge proof. One party (the prover) needs to prove his identity to another party (the verifier) without revealing the secret key to the verifier. One can apply the Fiat–Shamir transformation to convert an identification scheme into a signature scheme which can be used for achieving security purposes and cryptographic purposes, especially for authentication. In this paper, we recall an identification protocol, namely the RankID scheme, and show that the scheme is incorrect and insecure. Then, we proposed a more natural approach to construct the rank version of the AGS identification protocol and show that our construction overcomes the security flaws in the RankID scheme. Our proposal achieves better results when comparing the public key size, secret key size, and signature size with the existing identification schemes, such as Rank RVDC and Rank CVE schemes. Our proposal also achieves 90%, 50%, and 96% reduction for the signature size, secret key size, and public key size when compared to the Rank CVE signature scheme.

Recently, in order to guarantee security against quantum adversaries, several identification (ID) schemes based on computational problems which are supposed to be hard even for quantum computers have been proposed. However, their security are only proven against non-quantum adversaries. In this paper, we proposed a novel four-pass code-based identification scheme. By using quantum random oracle model, we provide a security proof for our scheme against quantum adversaries which aim to impersonate the prover under concurrent active attacks, based on the hardness assumption of syndrome decoding (SD) problem. Our security proof is interesting in its own right, since it only requires a non-programmable quantum random oracle, in contrast to existing security proofs of digital signatures generated from ID scheme via Fiat-Shamir transform which require programmable quantum random oracles.

Symmetric cryptography allows faster and more secure communication between two entities using the identical pre-established secret key. However, identifying the honest entity with the same secret key before initiating symmetric encryption is vital since the communication may be impersonated. Tea and Ariffin, in 2014, proposed a new identification (ID) scheme based on the Bivariate Function Hard Problem (BFHP) that proved secure against impersonation under passive, active and concurrent attacks via the BFHP-hardness assumption. In this paper, we upgrade the ID scheme and improve some of its settings. Next, we provide the security proof against impersonation under active and concurrent attacks in the random oracle model via the hardness assumption of the One-More BFHP. Finally, we include an additional discussion about the computational efficiency of the upgraded ID scheme based on BFHP and present its comparison with other selected ID schemes.

Shipping is an indispensable tool for the sustainable global supply chain, and seafarers play a key role in safe navigation. Maritime autonomous surface ships (MASS) have been expected to reduce marine accidents by human error of the seafarers. On the other hand, MASS may have adverse effects on operators’ mental workload (MWL) and increase safety risks in some cases. This research aims to provide a scheme for identifying the relationship between MWL and MASS in the maritime that can be utilised for rulemaking and technological development. The provided scheme identifies the factors that affect the MWL of operators and sub-elements of MWL through gap analysis. Five factors related to MASS operation were defined, in addition to general factors. The case study was carried out by utilising the scheme on typical cases focusing on the normal navigational situation. The NASA task load index method was used to measure MWL. Ten deck officers with various ranks, including the third officer and captain, participated in the case study. The results suggested that various causes such as conflicted situations, machine–human interfaces, mechanical-style movements of the ship, reliability of MASS, and visibility constraints affect the MWL of operators. It also confirmed the verification of the identification scheme.

The objective of this work is the development of an automated and objective identification scheme of cold fronts in order to produce a comprehensive climatology of Mediterranean cold fronts. The scheme is a modified version of The University of Melbourne Frontal Tracking Scheme (FTS), to take into account the particular characteristics of the Mediterranean fronts. We refer to this new scheme as MedFTS. Sensitivity tests were performed with a number of cold fronts in the Mediterranean using different threshold values of wind-related criteria in order to identify the optimum scheme configuration. This configuration was then applied to a 10-year period, and its skill was assessed against synoptic surface charts using statistic metrics. It was found that the scheme performs well with the dynamic criteria employed and can be successfully applied to cold front identification in the Mediterranean.