IEEE Transactions on Industrial Informatics · 2019 · 79 citations · 36 references
ComputingComputer EngineeringComputer ScienceCryptographyInternet Of ThingsSecurity ProtocolsAuthentication ProtocolsAuthentication SecurityCryptographic Protocol DesignForward SecrecyKey Exchange ProtocolsMutual AuthenticationFormal Security AnalysisFormal Security VerificationKey AgreementLightweight Authentication ProtocolsPerfect SecrecyRandom Oracle ModelSecure Authentication ProtocolsSession Key Establishment
Industrial Internet-of-Things (IIoT) is the basis of Industry 4.0, which extends Internet connectivity beyond traditional computing devices like computers and smartphones to the physical world for improving efficiency and accuracy while reducing the production cost. However, there are tremendous security threats to IIoT, such as IIoT device hijacking and data leaks. Therefore, a lightweight authenticated key agreement (AKA) protocol is commonly applied to establish a session key for securing the communication between IIoT devices. To protect the previous session keys from being compromised, perfect forward secrecy (PFS) has been one of the most important security properties of AKA. In this article, we present an efficient PFS-enabled AKA protocol for IIoT systems, which is developed based on a new dynamic authentication credential (DAC) framework, without using any public-key cryptographic primitives. It is worth noting that our protocol is also faster than the state-of-the-art DAC-based AKA protocols with PFS. Moreover, we give the formal security result of the proposed protocol in the random oracle model.
36
Provably secure session key distribution
Mihir Bellare, Phillip Rogaway · 1995 · 597 citations · Full text
Secure Signature-Based Authenticated Key Establishment Scheme for Future IoT Applications
Sravani Challa, Mohammad Wazid, Ashok Kumar Das et al. · IEEE Access · 2017 · 444 citations · Full text