Information · 2023 · 11 citations · 26 references
ComputingComputer ScienceElectrical EngineeringAuthenticationComputer SecurityInternet Of ThingsCyber-physical SecurityDevice AuthenticationGrid SecurityIot SecurityMutual AuthenticationTrusted Platform ModulesFormal Security VerificationFormal Verification Of Security PropertiesInternet Of Things AuthenticationInternet Of Things Device SecurityIot Device AuthenticationSecurity VerificationSmart Grid SecurityTrusted Platform Module Authentication
This paper presents a hardware-assisted security primitive that integrates the Trusted Platform Module (TPM) into IoT devices for authentication in smart grids. Data and device security plays a pivotal role in smart grids since they are vulnerable to various attacks that could risk grid failure. The proposed Fortified-Grid security primitive provides an innovative solution, leveraging the TPM for attestation coupled with standard X.509 certificates. This methodology serves a dual purpose, ensuring the authenticity of IoT devices and upholding software integrity, an indispensable foundation for any resilient smart grid security system. TPM is a hardware security module that can generate keys and store them with encryption so they cannot be compromised. Formal security verification has been performed using the random or real Oracle (ROR) model and widely accepted AVISPA simulation tool, while informal security verification uses the DY and CK adversary model. Fortified-Grid helps to validate the attested state of IoT devices with a minimal network overhead of 1984 bits.
26
Jing Zhang, Jie Cui, Hong Zhong et al. · IEEE Transactions on Dependable and Secure Computing · 2019 · 320 citations · Full text
A Survey on IoT-Enabled Smart Grids: Emerging, Applications, Challenges, and Outlook
Arman Goudarzi, Farzad Ghayoor, Muhammad Waseem et al. · Energies · 2022 · 206 citations · Full text