Personal and Ubiquitous Computing · 2015 · 15 citations · 14 references
ComputingComputer EngineeringComputer ScienceAuthenticationCryptographySecurity ProtocolsAuthentication ProtocolsAuthentication SecurityCryptographic Protocol DesignSecurity Protocol VerificationAuthentication SchemesBan LogicChaotic MapsFormal Security VerificationFormal Verification Of Cryptographic ProtocolsFormal Verification Of Security PropertiesRfid AuthenticationSecure Authentication Protocols
Radio frequency identification (RFID) is a promising wireless sensor technology in the Internet of Things and can be applied for object identification. However, the security issues are still open challenges and should be addressed to achieve enhanced safeguard. Existing security solutions mainly apply logical operators, hash function, and other cryptographic primitives to design authentication schemes. In this paper, we propose a Chebyshev chaotic map-based authentication protocol (C2MP) for the RFID applications. Thereinto, Chebyshev polynomial’s semigroup and chaotic properties are introduced for identity authentication and anonymous data transmission. The proposed C2MP owns the security properties including data integrity, authentication, anonymity, and session freshness. According to the BAN logic, security formal analysis is performed based on the messages formalization, initial assumptions, anticipant goals, and logic verification. It indicates that the proposed C2MP is suitable for universal RFID applications.
14
Michael T. Burrows, Martı́n Abadi, Roger M. Needham · ACM Transactions on Computer Systems · 1990 · 2.5K citations · Full text
Cyberentity Security in the Internet of Things
Huansheng Ning, Hong Liu, Laurence T. Yang · Computer · 2013 · 234 citations