On the public citation graph

On the security of public key protocols

https://doi.org/10.1109/tit.1983.1056650
0 signed · 5397 inferred · view as graph

Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.

Is this your work? Sign in with ORCID and put your name on the claims that are yours.
Claim with ORCID
Reference health. See whether every reference in this work resolves to a known work and none has been retracted — and get a dated CiteStamped badge you can embed.
See reference health

What this work says

Outgoing claims: the papers this work cites, builds on, or argues with.

inferredcites →https://doi.org/10.1016/0196-6774(82)90004-9openalex-snapshot
The Byzantine generals strike again
inferredcites →https://doi.org/10.1109/tit.1976.1055638openalex-snapshot
New directions in cryptography
inferredcites →https://doi.org/10.1145/1499799.1499815openalex-snapshot
Multiuser cryptographic techniques
inferredcites →https://doi.org/10.1145/322017.322025openalex-snapshot
A Linear Time Algorithm for Deciding Subject Security
inferredcites →https://doi.org/10.1145/322186.322188openalex-snapshot
Reaching Agreement in the Presence of Faults
inferredcites →https://doi.org/10.1145/357980.358017openalex-snapshot
A method for obtaining digital signatures and public-key cryptosystems
inferredcites →https://doi.org/10.1145/359340.359342openalex-snapshot
A method for obtaining digital signatures and public-key cryptosystems
inferredcites →https://doi.org/10.1145/359657.359659openalex-snapshot
Using encryption for authentication in large networks of computers
inferredcites →https://doi.org/10.1145/360303.360333openalex-snapshot
Protection in operating systems
inferredcites →https://doi.org/10.13182/nse70-a19706openalex-snapshot
Formal Languages and their Relation to Automata

What points at this work

Incoming claims: where this work appears in other papers’ reference lists and arguments.

inferred← citeshttps://doi.org/10.2139/ssrn.2862299openalex-extracted
The Work-Averse Cyber Attacker Model: Theory and Evidence From Two Million Attack Signatures
inferred← citeshttps://doi.org/10.2139/ssrn.3033809openalex-extracted
Election Security and Economics: It's All About Eve
inferred← citeshttps://doi.org/10.2139/ssrn.4604408openalex-extracted
inferred← citeshttps://doi.org/10.2139/ssrn.4632177openalex-extracted
inferred← citeshttps://doi.org/10.2139/ssrn.4635927openalex-extracted
An Authentication Scheme for Blockchain-Based Anti-Counterfeiting Traceability Systems
inferred← citeshttps://doi.org/10.2139/ssrn.4681491openalex-extracted
inferred← citeshttps://doi.org/10.2139/ssrn.4693941openalex-extracted
Security Enhanced Authentication Protocol for Vehicle-to-Grid Communication
inferred← citeshttps://doi.org/10.2139/ssrn.4856231openalex-extracted
PUF, Multi-Signature and Ascon Based Authentication Protocol for IOT Devices Using Blockchain
inferred← citeshttps://doi.org/10.2139/ssrn.926627openalex-extracted
House of Security: Locale, Roles and Resources for Ensuring Information Security
inferred← citeshttps://doi.org/10.3217/jucs-011-01-0083openalex-extracted
ProtoMon: Embedded Monitors for Cryptographic Protocol Intrusion Detection and Prevention
inferred← citeshttps://doi.org/10.3217/jucs-014-12-2083openalex-extracted
What is Correctness of Security Protocols?
inferred← citeshttps://doi.org/10.5281/zenodo.1161879openalex-extracted
inferred← citeshttps://doi.org/10.1002/9780470612309.ch24openalex-snapshot
Strategy for Flaw Detection Based on a Service‐Driven Model for Group Protocols
inferred← citeshttps://doi.org/10.1002/9781119183471.refsopenalex-snapshot
References
inferred← citeshttps://doi.org/10.1002/9781119341451.ch9openalex-snapshot
An Investigation of Security and Privacy for Human Bond Communications
inferred← citeshttps://doi.org/10.1002/9781119390060.ch13openalex-snapshot
Quality of Service, Security, and Privacy for Wearable Sensor Data
inferred← citeshttps://doi.org/10.1002/9781119527978.ch10openalex-snapshot
PUF‐Based Authentication and Key Exchange for Internet of Things
inferred← citeshttps://doi.org/10.1002/9781119527978.ch7openalex-snapshot
Biometric‐Based Robust Access Control Model for Industrial Internet of Things Applications
inferred← citeshttps://doi.org/10.1002/9781119617570.ch8openalex-snapshot
Security
inferred← citeshttps://doi.org/10.1002/9781119857921.ch12openalex-snapshot
Security and Privacy Issues in 5G/6G‐Assisted Software‐Defined Networks
inferred← citeshttps://doi.org/10.1002/9781119987451.ch7openalex-snapshot
sTiki: A Mutual Authentication Protocol for Constrained Sensor Devices
inferred← citeshttps://doi.org/10.1002/cpe.3165openalex-snapshot
Scalable, privacy preserving radio‐frequency identification protocol for the internet of things
inferred← citeshttps://doi.org/10.1002/cpe.3500openalex-snapshot
Distance‐bounding trust protocol in anonymous radio‐frequency identification systems
inferred← citeshttps://doi.org/10.1002/cpe.3930openalex-snapshot
On the design of a secure user authentication and key agreement scheme for wireless sensor networks
inferred← citeshttps://doi.org/10.1002/cpe.5295openalex-snapshot
A lightweight anonymous mutual authentication and key agreement scheme for WBAN
inferred← citeshttps://doi.org/10.1002/cpe.5734openalex-snapshot
Cloud‐assisted elliptic curve password authenticated key exchange protocol for wearable healthcare monitoring system
inferred← citeshttps://doi.org/10.1002/cpe.6187openalex-snapshot
Provably secure signature‐based anonymous user authentication protocol in an Internet of Things‐enabled intelligent precision agricultural environment
inferred← citeshttps://doi.org/10.1002/cpe.6712openalex-snapshot
A new agent‐based framework combining authentication, access control and user behavior analysis for secure and flexible cloud‐based healthcare environment
inferred← citeshttps://doi.org/10.1002/cpe.70036openalex-snapshot
A Robust Lattice‐Based Post‐Quantum Three‐Party Key Exchange Scheme for Mobile Devices
inferred← citeshttps://doi.org/10.1002/cpe.70104openalex-snapshot
An Improved and Untraceable Lightweight Authentication and Key Agreement Scheme for Wireless Body Area Networks
inferred← citeshttps://doi.org/10.1002/cpe.70252openalex-snapshot
PUF‐Based Lightweight Authentication and Key Agreement Protocol for Secure Internet of Drones in Smart City
inferred← citeshttps://doi.org/10.1002/cpe.70755openalex-snapshot
A Secure and Efficient Ring Learning With Error Based Three‐Party Authenticated Key Agreement Scheme for Wireless Mobile Communication Systems
inferred← citeshttps://doi.org/10.1002/cpe.70830openalex-snapshot
Quantum‐Resistant Framework for Secure and Authorized Multi‐Server Networking
inferred← citeshttps://doi.org/10.1002/cpe.7172openalex-snapshot
A secure lightweight anonymous elliptic curve cryptography‐based authentication and key agreement scheme for fog assisted‐Internet of Things enabled networks
inferred← citeshttps://doi.org/10.1002/cpe.7247openalex-snapshot
Efficient privacy protection authentication protocol for vehicle network in 5G
inferred← citeshttps://doi.org/10.1002/cpe.7397openalex-snapshot
CovidBChain: Framework for access‐control, authentication, and integrity of Covid‐19 data
inferred← citeshttps://doi.org/10.1002/cpe.7602openalex-snapshot
A secure communication using multifactor authentication and key agreement techniques in internet of medical things for COVID ‐19 patients
inferred← citeshttps://doi.org/10.1002/cpe.7676openalex-snapshot
A secure protocol for patient monitoring in wireless body area networks
inferred← citeshttps://doi.org/10.1002/cpe.8054openalex-snapshot
FogSec: A secure and effective mutual authentication scheme for fog computing
inferred← citeshttps://doi.org/10.1002/cpe.8201openalex-snapshot
SIoT identity management with the ability to preserve owner privacy and built‐in resistance to Sybil attacks
inferred← citeshttps://doi.org/10.1002/cpe.8250openalex-snapshot
A provably secure authenticated key agreement protocol for industrial sensor network system
inferred← citeshttps://doi.org/10.1002/cpe.8283openalex-snapshot
Secure device authentication and key agreement mechanism for LoRaWAN based IoT networks
inferred← citeshttps://doi.org/10.1002/cpe.8333openalex-snapshot
REHAS : Robust and Efficient Hyperelliptic Curve‐Based Authentication Scheme for Internet of Drones
inferred← citeshttps://doi.org/10.1002/dac.1158openalex-snapshot
Lightweight and provably secure user authentication with anonymity for the global mobility network
inferred← citeshttps://doi.org/10.1002/dac.1355openalex-snapshot
A secure and efficient password‐authenticated group key exchange protocol for mobile ad hoc networks
inferred← citeshttps://doi.org/10.1002/dac.2769openalex-snapshot
Improved IPSec tunnel establishment for 3GPP–WLAN interworking
inferred← citeshttps://doi.org/10.1002/dac.2847openalex-snapshot
Provably secure and pairing‐free identity‐based handover authentication protocol for wireless mobile networks
inferred← citeshttps://doi.org/10.1002/dac.2899openalex-snapshot
Cryptanalysis and improvement of an efficient authenticated key exchange protocol with tight security reduction
inferred← citeshttps://doi.org/10.1002/dac.2933openalex-snapshot
A secure and effective biometric‐based user authentication scheme for wireless sensor networks using smart card and fuzzy extractor
inferred← citeshttps://doi.org/10.1002/dac.3302openalex-snapshot
A secure end‐to‐end SMS‐based mobile banking protocol
inferred← citeshttps://doi.org/10.1002/dac.3305openalex-snapshot
Design and FPGA implementation of an efficient security mechanism for mobile pay‐TV systems
inferred← citeshttps://doi.org/10.1002/dac.3309openalex-snapshot
Time‐assisted authentication protocol
inferred← citeshttps://doi.org/10.1002/dac.3457openalex-snapshot
An anonymous and robust multi‐server authentication protocol using multiple registration servers
inferred← citeshttps://doi.org/10.1002/dac.3484openalex-snapshot
An efficient three factor–based authentication scheme in multiserver environment using ECC
inferred← citeshttps://doi.org/10.1002/dac.3514openalex-snapshot
On the design of secure user authenticated key management scheme for multigateway‐based wireless sensor networks using ECC
inferred← citeshttps://doi.org/10.1002/dac.3540openalex-snapshot
An extended ECC‐based anonymity‐preserving 3‐factor remote authentication scheme usable in TMIS
inferred← citeshttps://doi.org/10.1002/dac.3701openalex-snapshot
A secure and enhanced elliptic curve cryptography‐based dynamic authentication scheme using smart card
inferred← citeshttps://doi.org/10.1002/dac.3767openalex-snapshot
On the security and improvement of privacy‐preserving 3‐factor authentication scheme for TMIS
inferred← citeshttps://doi.org/10.1002/dac.3814openalex-snapshot
An ameliorated two‐factor anonymous key exchange authentication protocol for mobile client‐server environment
inferred← citeshttps://doi.org/10.1002/dac.3860openalex-snapshot
LPPA: Lightweight privacy‐preservation access authentication scheme for massive devices in fifth Generation (5G) cellular networks
inferred← citeshttps://doi.org/10.1002/dac.3879openalex-snapshot
Codeword Authenticated Key Exchange (CAKE) light weight secure routing protocol for WSN
inferred← citeshttps://doi.org/10.1002/dac.3900openalex-snapshot
User centric three‐factor authentication protocol for cloud‐assisted wearable devices
inferred← citeshttps://doi.org/10.1002/dac.3906openalex-snapshot
A scalable and secure RFID mutual authentication protocol using ECC for Internet of Things
inferred← citeshttps://doi.org/10.1002/dac.4024openalex-snapshot
RAD‐EI: A routing attack detection scheme for edge‐based Internet of Things environment
inferred← citeshttps://doi.org/10.1002/dac.4077openalex-snapshot
A secure multifactor remote user authentication scheme for Internet of Multimedia Things environment
inferred← citeshttps://doi.org/10.1002/dac.4099openalex-snapshot
Anonymous identity authentication mechanism for hybrid architecture in mobile crowd sensing networks
inferred← citeshttps://doi.org/10.1002/dac.4253openalex-snapshot
Revised anonymous authentication protocol for adaptive client‐server infrastructure
inferred← citeshttps://doi.org/10.1002/dac.4386openalex-snapshot
Cryptanalysis and improvement of the YAK protocol with formal security proof and security verification via Scyther
inferred← citeshttps://doi.org/10.1002/dac.4388openalex-snapshot
Authenticated content distribution framework for digital rights management systems with smart card revocation
inferred← citeshttps://doi.org/10.1002/dac.4423openalex-snapshot
A secure and efficient remote patient‐monitoring authentication protocol for cloud‐IoT
inferred← citeshttps://doi.org/10.1002/dac.4508openalex-snapshot
Robust three‐factor authentication protocol for satellite communication systems
inferred← citeshttps://doi.org/10.1002/dac.4834openalex-snapshot
An enhanced authentication scheme for Internet of Things and cloud based on elliptic curve cryptography
inferred← citeshttps://doi.org/10.1002/dac.4849openalex-snapshot
A lightweight authentication protocol for IoT‐based cloud environment
inferred← citeshttps://doi.org/10.1002/dac.5026openalex-snapshot
ESOTP: ECC‐based secure object tracking protocol for IoT communication
inferred← citeshttps://doi.org/10.1002/dac.5028openalex-snapshot
An efficient three‐factor user authentication scheme for industrial wireless sensor network with fog computing
inferred← citeshttps://doi.org/10.1002/dac.5115openalex-snapshot
An access control protocol for IoT‐based critical infrastructure in smart grid environment
inferred← citeshttps://doi.org/10.1002/dac.5605openalex-snapshot
Construction of a secure and efficient content key distribution framework for DRM systems
inferred← citeshttps://doi.org/10.1002/dac.70519openalex-snapshot
Energy‐Efficient Identity and ECC‐Based Session Key Agreement Protocol for Secure Communication in Wireless Networks
inferred← citeshttps://doi.org/10.1002/ett.2514openalex-snapshot
Vulnerability analysis of elliptic curve cryptography‐based RFID authentication protocols
inferred← citeshttps://doi.org/10.1002/ett.3166openalex-snapshot
A provably secure RFID authentication protocol based on elliptic curve signature with message recovery suitable for m‐Health environments
inferred← citeshttps://doi.org/10.1002/ett.3200openalex-snapshot
Cryptanalysis and improvement of a biometric‐based remote user authentication protocol usable in a multiserver environment
inferred← citeshttps://doi.org/10.1002/ett.3676openalex-snapshot
A multi‐attack resilient lightweight IoT authentication scheme
inferred← citeshttps://doi.org/10.1002/ett.3925openalex-snapshot
Fuzzy vault‐based three‐factor authentication and key exchange for 5G‐integrated wireless sensor networks
inferred← citeshttps://doi.org/10.1002/ett.3995openalex-snapshot
Consortium blockchain‐enabled access control mechanism in edge computing based generic Internet of Things environment
inferred← citeshttps://doi.org/10.1002/ett.4218openalex-snapshot
An improved privacy preserving remote user authentication scheme for agricultural wireless sensor network
inferred← citeshttps://doi.org/10.1002/ett.4421openalex-snapshot
Blockchain‐enabled secure communication mechanism for IoT‐driven personal health records
inferred← citeshttps://doi.org/10.1002/ett.4451openalex-snapshot
Secure authentication and session key management scheme for Internet of Vehicles
inferred← citeshttps://doi.org/10.1002/ett.4479openalex-snapshot
Continuous lightweight authentication according group priority and key agreement for Internet of Things
inferred← citeshttps://doi.org/10.1002/ett.4540openalex-snapshot
Secure cloud‐based data storage scheme using postquantum integer lattices‐based signcryption for IoT applications
inferred← citeshttps://doi.org/10.1002/ett.4542openalex-snapshot
An efficient two‐factor authentication protocol based on elliptic curve cryptosystem with provable security
inferred← citeshttps://doi.org/10.1002/ett.4635openalex-snapshot
Cloud‐based authentication and key management protocol for advanced metering infrastructure in smart grid
inferred← citeshttps://doi.org/10.1002/ett.4716openalex-snapshot
Lightweight and efficient privacy‐preserving mutual authentication scheme to secure Internet of Things ‐based smart healthcare
inferred← citeshttps://doi.org/10.1002/ett.4751openalex-snapshot
Privacy‐preserving authentication scheme for digital twin‐enabled autonomous vehicle environments
inferred← citeshttps://doi.org/10.1002/ett.4893openalex-snapshot
A probably secure biometric‐based authentication and key agreement scheme for Internet of Drones
inferred← citeshttps://doi.org/10.1002/ett.4958openalex-snapshot
DAC‐MD : A privacy preserving drone‐access control scheme for last mile delivery
inferred← citeshttps://doi.org/10.1002/ett.5035openalex-snapshot
SKALP: Secure key agreement and lightweight protocol for dew‐assisted IoT enabled edge computing
inferred← citeshttps://doi.org/10.1002/itl2.612openalex-snapshot
Lightweight and Privacy‐Preserving Authentication Protocol for Smart Village
inferred← citeshttps://doi.org/10.1002/nem.2103openalex-snapshot
Security and trust preserving inter‐ and intra‐cloud VM migrations
inferred← citeshttps://doi.org/10.1002/sat.1385openalex-snapshot
An enhanced dynamic authentication scheme for mobile satellite communication systems
inferred← citeshttps://doi.org/10.1002/sec.100openalex-snapshot
When is a key establishment protocol correct?
inferred← citeshttps://doi.org/10.1002/sec.102openalex-snapshot
Secure and practical key establishment for distributed sensor networks
inferred← citeshttps://doi.org/10.1002/sec.1028openalex-snapshot
An architecture for secure mobile devices
inferred← citeshttps://doi.org/10.1002/sec.1068openalex-snapshot
A new method of formalizing anonymity based on protocol composition logic
inferred← citeshttps://doi.org/10.1002/sec.1090openalex-snapshot
A new secure and efficient scheme for network mobility management
inferred← citeshttps://doi.org/10.1002/sec.1139openalex-snapshot
A secure and efficient ECC‐based user anonymity preserving single sign‐on scheme for distributed computer networks
inferred← citeshttps://doi.org/10.1002/sec.1140openalex-snapshot
An effective ECC‐based user access control scheme with attribute‐based encryption for wireless sensor networks
inferred← citeshttps://doi.org/10.1002/sec.119openalex-snapshot
Synthesis of attack actions using model checking for the verification of security protocols
inferred← citeshttps://doi.org/10.1002/sec.1266openalex-snapshot
An anonymous and secure biometric‐based enterprise digital rights management system for mobile environment
inferred← citeshttps://doi.org/10.1002/sec.1296openalex-snapshot
Secure broadcast in distributed networks with strong adversaries
inferred← citeshttps://doi.org/10.1002/sec.1305openalex-snapshot
A new authenticated key agreement scheme based on smart cards providing user anonymity with formal proof
inferred← citeshttps://doi.org/10.1002/sec.1330openalex-snapshot
An efficient biometric‐based privacy‐preserving three‐party authentication with key agreement protocol using smart cards
inferred← citeshttps://doi.org/10.1002/sec.1408openalex-snapshot
Quantum-resistance authentication in centralized cognitive radio networks
inferred← citeshttps://doi.org/10.1002/sec.1452openalex-snapshot
Design of an efficient and provably secure anonymity preserving three‐factor user authentication and key agreement scheme for TMIS
inferred← citeshttps://doi.org/10.1002/sec.1464openalex-snapshot
An efficient multi‐gateway‐based three‐factor user authentication and key agreement scheme in hierarchical wireless sensor networks
inferred← citeshttps://doi.org/10.1002/sec.1573openalex-snapshot
Provably secure user authentication and key agreement scheme for wireless sensor networks
inferred← citeshttps://doi.org/10.1002/sec.1591openalex-snapshot
Provably secure biometric‐based user authentication and key agreement scheme in cloud computing
inferred← citeshttps://doi.org/10.1002/sec.1596openalex-snapshot
Security analysis and design of an efficient ECC‐based two‐factor password authentication scheme
inferred← citeshttps://doi.org/10.1002/sec.1598openalex-snapshot
A secure lightweight authentication scheme with user anonymity for roaming service in ubiquitous networks
inferred← citeshttps://doi.org/10.1002/sec.1602openalex-snapshot
An enhanced and secure trust‐extended authentication mechanism for vehicular ad‐hoc networks
inferred← citeshttps://doi.org/10.1002/sec.1652openalex-snapshot
Design of sinkhole node detection mechanism for hierarchical wireless sensor networks
inferred← citeshttps://doi.org/10.1002/sec.1653openalex-snapshot
An enhanced multi‐server authentication protocol using password and smart‐card: cryptanalysis and design
inferred← citeshttps://doi.org/10.1002/sec.1655openalex-snapshot
A more secure and privacy‐aware anonymous user authentication scheme for distributed mobile cloud computing environments
inferred← citeshttps://doi.org/10.1002/sec.1672openalex-snapshot
A provably secure anonymous authentication scheme for Session Initiation Protocol
inferred← citeshttps://doi.org/10.1002/sec.1701openalex-snapshot
Shortest and secure routing protocol for multi‐hop cellular networks (SSRP‐MCN)
inferred← citeshttps://doi.org/10.1002/sec.1707openalex-snapshot
Provably secure three‐factor authentication and key agreement scheme for session initiation protocol
inferred← citeshttps://doi.org/10.1002/sec.1717openalex-snapshot
Jamming resistant non‐interactive anonymous and unlinkable authentication scheme for mobile satellite networks
inferred← citeshttps://doi.org/10.1002/sec.256openalex-snapshot
KALwEN: a new practical and interoperable key management scheme for body sensor networks
inferred← citeshttps://doi.org/10.1002/sec.281openalex-snapshot
A formal separation method of protocols to eliminate parallel attacks in virtual organization
inferred← citeshttps://doi.org/10.1002/sec.284openalex-snapshot
Cryptanalysis of some conference schemes for mobile communications
inferred← citeshttps://doi.org/10.1002/sec.312openalex-snapshot
A security enhanced authentication and key distribution protocol for wireless networks
inferred← citeshttps://doi.org/10.1002/sec.361openalex-snapshot
Security enhancement of the communication‐efficient AUTHMAC_DH protocols
inferred← citeshttps://doi.org/10.1002/sec.377openalex-snapshot
Secure and efficient dynamic program update in wireless sensor networks
inferred← citeshttps://doi.org/10.1002/sec.546openalex-snapshot
A UTP approach towards probabilistic protocol verification
inferred← citeshttps://doi.org/10.1002/sec.726openalex-snapshot
Password-authenticated cluster-based group key agreement for smart grid communication
inferred← citeshttps://doi.org/10.1002/sec.858openalex-snapshot
A practical anonymous authentication protocol for wireless roaming
inferred← citeshttps://doi.org/10.1002/sec.880openalex-snapshot
A privacy enhanced device access protocol for an IoT context
inferred← citeshttps://doi.org/10.1002/sec.882openalex-snapshot
Typing secure implementation of authentication protocols in environments with compromised principals
inferred← citeshttps://doi.org/10.1002/spe.3087openalex-snapshot
Practical and secure multifactor authentication protocol for autonomous vehicles in 5G
inferred← citeshttps://doi.org/10.1002/spe.3196openalex-snapshot
CLAACS‐IOD : Certificate‐embedded lightweight authentication and access control scheme for Internet of Drones
inferred← citeshttps://doi.org/10.1002/spe.70066openalex-snapshot
MilQAuth: An Improved and Quantum‐Resistant Authentication Framework for Quantum Federated Learning in Military Communication Networks
inferred← citeshttps://doi.org/10.1002/spy2.210openalex-snapshot
A survey on security challenges and protocols of electric vehicle dynamic charging system
inferred← citeshttps://doi.org/10.1002/spy2.226openalex-snapshot
Construction of elliptic curve cryptography‐based authentication protocol for internet of things
inferred← citeshttps://doi.org/10.1002/spy2.228openalex-snapshot
Design of a secure and privacy preserving authentication protocol for telecare medical information systems
inferred← citeshttps://doi.org/10.1002/spy2.231openalex-snapshot
A blockchain‐based approach to secure electronic health records using fuzzy commitment scheme
inferred← citeshttps://doi.org/10.1002/spy2.235openalex-snapshot
Security in IoMT ‐driven smart healthcare: A comprehensive review and open challenges
inferred← citeshttps://doi.org/10.1002/spy2.251openalex-snapshot
Key challenges in security of IoT devices and securing them with the blockchain technology
inferred← citeshttps://doi.org/10.1002/spy2.257openalex-snapshot
A construction of Chebyshev chaotic map based authenticated key agreement protocol for satellite communication system
inferred← citeshttps://doi.org/10.1002/spy2.268openalex-snapshot
Cryptanalysis and improvement of REAS‐TMIS: Resource‐efficient authentication scheme for telecare medical information system
inferred← citeshttps://doi.org/10.1002/spy2.289openalex-snapshot
Zero‐knowledge‐based distributed auditing protocol
inferred← citeshttps://doi.org/10.1002/spy2.312openalex-snapshot
Explainable artificial intelligence envisioned security mechanism for cyber threat hunting
inferred← citeshttps://doi.org/10.1002/spy2.327openalex-snapshot
Privacy preserving content distribution framework for multidistributor DRM systems
inferred← citeshttps://doi.org/10.1002/spy2.335openalex-snapshot
A robust and secure user authentication scheme based on multifactor and multi‐gateway in IoT enabled sensor networks
inferred← citeshttps://doi.org/10.1002/spy2.338openalex-snapshot
A comprehensive security and performance assessment of UAV authentication schemes
inferred← citeshttps://doi.org/10.1002/spy2.351openalex-snapshot
Personal health record storage and sharing using searchable encryption and blockchain: A comprehensive survey
inferred← citeshttps://doi.org/10.1002/spy2.353openalex-snapshot
A secure signature‐based access control and key management scheme for fog computing‐based IoT‐enabled big data applications
inferred← citeshttps://doi.org/10.1002/spy2.360openalex-snapshot
An efficient lightweight authentication scheme for dew‐assisted IoT networks
inferred← citeshttps://doi.org/10.1002/spy2.362openalex-snapshot
Designing access control security protocol for Industry 4.0 using Blockchain‐as‐a‐Service
inferred← citeshttps://doi.org/10.1002/spy2.365openalex-snapshot
A new authentication scheme for dynamic charging system of electric vehicles in fog environment
inferred← citeshttps://doi.org/10.1002/spy2.404openalex-snapshot
An efficient provably secure authentication and key agreement protocol for satellite communication networks
inferred← citeshttps://doi.org/10.1002/spy2.405openalex-snapshot
SiSMA‐SWMS: Signature‐based Secure Monitoring Approach for Smart Waste Monitoring Systems
inferred← citeshttps://doi.org/10.1002/spy2.428openalex-snapshot
A secure authentication protocol for remote patient monitoring in an internet‐of‐medical‐things environment
inferred← citeshttps://doi.org/10.1002/spy2.468openalex-snapshot
A Secure Authenticated Healthcare Data Analysis Mechanism in IoMT‐Enabled Healthcare
inferred← citeshttps://doi.org/10.1002/spy2.475openalex-snapshot
BCIDS ‐ IoT : A Binary Classification Intrusion Detection Scheme for Internet of Things Communication
inferred← citeshttps://doi.org/10.1002/spy2.483openalex-snapshot
Automotive Cybersecurity Scheme for Intrusion Detection in CAN ‐Driven Artificial Intelligence of Things
inferred← citeshttps://doi.org/10.1002/spy2.70064openalex-snapshot
Designing Generative AI‐Envisioned Security Scheme for Server Attacks Protection
inferred← citeshttps://doi.org/10.1002/spy2.70076openalex-snapshot
SAKM : A Scalable and Adaptive Key Management for Securing Demand‐Response Bidirectional Communications in AMI of Next‐Generation Smart Grids
inferred← citeshttps://doi.org/10.1002/spy2.70139openalex-snapshot
Securing UAVs Assisted Ground Network Using PUF ‐Based Lightweight Authentication Protocol
inferred← citeshttps://doi.org/10.1002/spy2.74openalex-snapshot
Novel chaotic map‐based privacy‐preserving authenticated key agreement scheme without the electricity service provider involvement
inferred← citeshttps://doi.org/10.1002/stvr.1685openalex-snapshot
MobSTer: A model‐based security testing framework for web applications
inferred← citeshttps://doi.org/10.1002/stvr.329openalex-snapshot
Formal analysis of some secure procedures for certificate delivery
inferred← citeshttps://doi.org/10.1002/swf.38openalex-snapshot
Communications security on the internet
inferred← citeshttps://doi.org/10.1006/inco.1997.2678openalex-snapshot
A Collusion Problem and Its Solution
inferred← citeshttps://doi.org/10.1007/0-306-47009-8_36openalex-snapshot
Security Modelling for Electronic Commerce: The Common Electronic Purse Specifications
inferred← citeshttps://doi.org/10.1007/0-387-21821-1_42openalex-snapshot
Using the CORAL System to Discover Attacks on Security Protocols
inferred← citeshttps://doi.org/10.1007/0-387-23462-4_9openalex-snapshot
Research Directions for Trust and Security in Human-Centric Computing
inferred← citeshttps://doi.org/10.1007/0-387-24006-3_2openalex-snapshot
Challenges in Protocol Design and Analysis
inferred← citeshttps://doi.org/10.1007/0-387-24006-3_4openalex-snapshot
Authentication Protocol Analysis
inferred← citeshttps://doi.org/10.1007/0-387-24098-5_10openalex-snapshot
Complementing Computational Protocol Analysis with Formal Specifications
inferred← citeshttps://doi.org/10.1007/0-387-24098-5_4openalex-snapshot
Formal Analysis of a Fair Payment Protocol
inferred← citeshttps://doi.org/10.1007/0-387-24098-5_5openalex-snapshot
Pattern-Matching Spi-Calculus
inferred← citeshttps://doi.org/10.1007/0-387-24098-5_6openalex-snapshot
Decidability of Opacity with Non-Atomic Keys
inferred← citeshttps://doi.org/10.1007/0-387-24486-7_16openalex-snapshot
An Extension of Typed MSR for Specifying Esoteric Protocols and Their Dolev-Yao Intruder
inferred← citeshttps://doi.org/10.1007/0-387-33406-8_20openalex-snapshot
On the Cryptographic Key Secrecy of the Strengthened Yahalom Protocol
inferred← citeshttps://doi.org/10.1007/1-4020-4094-6_10openalex-snapshot
Update Semantics of Security Protocols
inferred← citeshttps://doi.org/10.1007/1-4020-8159-6_2openalex-snapshot
Risk-Driven Development of Security-Critical Systems Using UMLsec
inferred← citeshttps://doi.org/10.1007/10722599_14openalex-snapshot
Analysing Time Dependent Security Properties in CSP Using PVS
inferred← citeshttps://doi.org/10.1007/11397427_3openalex-snapshot
GENERATING NETWORK SECURITY PROTOCOL IMPLEMENTATIONS FROM FORMAL SPECIFICATIONS
inferred← citeshttps://doi.org/10.1007/11423348_14openalex-snapshot
Verifying Security Protocols: An Application of CSP
inferred← citeshttps://doi.org/10.1007/11424925_136openalex-snapshot
A Formal Analysis of Fairness and Non-repudiation in the RSA-CEGD Protocol
inferred← citeshttps://doi.org/10.1007/11426639_23openalex-snapshot
The RSA Group is Pseudo-Free
inferred← citeshttps://doi.org/10.1007/11494881_9openalex-snapshot
A Formal Security Analysis of an OSA/Parlay Authentication Interface
inferred← citeshttps://doi.org/10.1007/11495628_4openalex-snapshot
Operational Semantics of Security Protocols
inferred← citeshttps://doi.org/10.1007/11506881_5openalex-snapshot
Automatic Detection of Attacks on Cryptographic Protocols: A Case Study
inferred← citeshttps://doi.org/10.1007/11507840_23openalex-snapshot
Analysis of a Multi-party Fair Exchange Protocol and Formal Proof of Correctness in the Strand Space Model
inferred← citeshttps://doi.org/10.1007/11523468_2openalex-snapshot
Probabilistic Polynomial-Time Semantics for a Protocol Security Logic
inferred← citeshttps://doi.org/10.1007/11523468_52openalex-snapshot
Combining Intruder Theories
inferred← citeshttps://doi.org/10.1007/11523468_53openalex-snapshot
Computationally Sound Implementations of Equational Theories Against Passive Adversaries
inferred← citeshttps://doi.org/10.1007/11523468_97openalex-snapshot
A Fully Abstract Encoding of the π-Calculus with Data Terms
inferred← citeshttps://doi.org/10.1007/11532231_28openalex-snapshot
Regular Protocols and Attacks with Regular Knowledge
inferred← citeshttps://doi.org/10.1007/11535294_1openalex-snapshot
On Evaluating the Performance of Security Protocols
showing the first 200 of 5387
Editorial review for independent work. ICSAC — the Institute for Complexity Science and Advanced Computing — runs a structured editorial panel for researchers publishing outside journals, and publishes on CiteStamp rails. Submission is free and goes through ORCID: icsacinstitute.org/submit.