A formally verified blockchain-based decentralised authentication scheme for the internet of things
Khizar Hameed, Saurabh Garg, Muhammad Bilal Amin, Byeong Ho Kang
Topics & Concepts
Computer scienceBlockchainAuthentication (law)Security tokenComputer networkCryptographyScheme (mathematics)Computer securityKey (lock)CorrectnessDistributed computingMathematicsProgramming languageMathematical analysisBlockchain Technology Applications and SecurityUser Authentication and Security SystemsIoT and Edge/Fog Computing