On the public citation graph

Authentication: a practical study in belief and action

https://doi.org/10.48456/tr-138
0 signed · 50 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.1109/tse.1987.233151openalex-snapshot
The Interrogator: Protocol Secuity Analysis
inferredcites →https://doi.org/10.1145/12130.12161openalex-snapshot
The complexity of reasoning about knowledge and time
inferredcites →https://doi.org/10.1145/24592.24593openalex-snapshot
Authentication revisited
inferredcites →https://doi.org/10.1145/24592.24594openalex-snapshot
Efficient and timely mutual authentication
inferredcites →https://doi.org/10.1145/358722.358740openalex-snapshot
Timestamps in key distribution protocols
inferredcites →https://doi.org/10.1145/359657.359659openalex-snapshot
Using encryption for authentication in large networks of computers
inferredcites →https://doi.org/10.1145/800070.802214openalex-snapshot
Cryptographic protocols

What points at this work

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

inferred← citeshttps://doi.org/10.1002/dac.2830openalex-snapshot
A robust and efficient dynamic identity‐based multi‐server authentication scheme using smart cards
inferred← citeshttps://doi.org/10.1007/3-540-44810-1_2openalex-snapshot
Mergers and Principals
inferred← citeshttps://doi.org/10.1007/3-540-44810-1_3openalex-snapshot
Mergers and Principals
inferred← citeshttps://doi.org/10.1007/3-540-45608-2_2openalex-snapshot
The Logic of Authentication Protocols
inferred← citeshttps://doi.org/10.1007/978-3-540-40981-6_8openalex-snapshot
Analysing Security Protocols
inferred← citeshttps://doi.org/10.1007/bf00196790openalex-snapshot
Applying a formal analysis technique to the CCITT X.509 strong two-way authentication protocol
inferred← citeshttps://doi.org/10.1007/bfb0020424openalex-snapshot
Secure distributed computing: Theory and practice
inferred← citeshttps://doi.org/10.1007/bfb0030352openalex-snapshot
Formal specification and verification of secure communication protocols
inferred← citeshttps://doi.org/10.1007/bfb0030355openalex-snapshot
On the formal analysis of PKCS authentication protocols
inferred← citeshttps://doi.org/10.1007/s10458-008-9063-8openalex-snapshot
On BAN logic and hash functions or: how an unjustified inference rule causes problems
inferred← citeshttps://doi.org/10.1007/s12046-018-0879-xopenalex-snapshot
ESAP: Efficient and secure authentication protocol for roaming user in mobile communication networks
inferred← citeshttps://doi.org/10.1007/s12083-019-00785-5openalex-snapshot
PSE-AKA: Performance and security enhanced authentication key agreement protocol for IoT enabled LTE/LTE-A networks
inferred← citeshttps://doi.org/10.1016/j.apal.2004.01.003openalex-snapshot
The guarded fragment with transitive guards
inferred← citeshttps://doi.org/10.1016/j.jisa.2020.102705openalex-snapshot
An enhanced scalable and secure RFID authentication protocol for WBAN within an IoT environment
inferred← citeshttps://doi.org/10.1016/s1574-6526(07)03001-5openalex-snapshot
Chapter 1 Knowledge Representation and Classical Logic
inferred← citeshttps://doi.org/10.1090/dimacs/031/05openalex-snapshot
Why is modal logic so robustly decidable?
inferred← citeshttps://doi.org/10.1109/cmpsac.1993.404230openalex-snapshot
Secure group communication protocol for distributed systems
inferred← citeshttps://doi.org/10.1109/csac.1989.81076openalex-snapshot
Secure automated document delivery
inferred← citeshttps://doi.org/10.1109/csfw.1989.40587openalex-snapshot
A logic of knowledge and belief for reasoning about computer security
inferred← citeshttps://doi.org/10.1109/csfw.1990.128180openalex-snapshot
A logic for reasoning about security
inferred← citeshttps://doi.org/10.1109/csfw.1990.128181openalex-snapshot
A logic of communication in hostile environment
inferred← citeshttps://doi.org/10.1109/iccicct.2016.7987921openalex-snapshot
Authentication protocols using encryption techniques
inferred← citeshttps://doi.org/10.1109/icdcs.1989.37934openalex-snapshot
Securely replicating authentication services
inferred← citeshttps://doi.org/10.1109/lics.2001.932491openalex-snapshot
On the decision problem for the guarded fragment with transitivity
inferred← citeshttps://doi.org/10.1109/lics.2009.39openalex-snapshot
On Finite Satisfiability of Two-Variable First-Order Logic with Equivalence Relations
inferred← citeshttps://doi.org/10.1109/mines.2009.106openalex-snapshot
Security Analysis of OIAP Implementation Based on BAN Logic
inferred← citeshttps://doi.org/10.1109/risp.1990.63835openalex-snapshot
An architecture for practical delegation in a distributed system
inferred← citeshttps://doi.org/10.1109/risp.1990.63853openalex-snapshot
On the formal specification and verification of a multiparty session protocol
inferred← citeshttps://doi.org/10.1109/risp.1991.130785openalex-snapshot
Exploring the BAN approach to protocol analysis
inferred← citeshttps://doi.org/10.1109/risp.1992.213267openalex-snapshot
Roles in cryptographic protocols
inferred← citeshttps://doi.org/10.1109/secpri.1989.36288openalex-snapshot
Using narrowing in the analysis of key management protocols
inferred← citeshttps://doi.org/10.1109/tifs.2013.2250431openalex-snapshot
A Novel Electronic English Auction System With a Secure On-Shelf Mechanism
inferred← citeshttps://doi.org/10.1145/146937.146940openalex-snapshot
A logic for reasoning about security
inferred← citeshttps://doi.org/10.1145/163640.163643openalex-snapshot
Authentication in distributed systems
inferred← citeshttps://doi.org/10.1145/366173.366194openalex-snapshot
Dynamic analysis of security protocols
inferred← citeshttps://doi.org/10.1145/506106.506111openalex-snapshot
New phase 1 exchange mode for IKE framework
inferred← citeshttps://doi.org/10.1145/74850.74852openalex-snapshot
A logic of authentication
inferred← citeshttps://doi.org/10.1145/77648.77649openalex-snapshot
A logic of authentication
inferred← citeshttps://doi.org/10.1155/2016/6567146openalex-snapshot
An Efficient Electronic English Auction System with a Secure On-Shelf Mechanism and Privacy Preserving
inferred← citeshttps://doi.org/10.1155/2022/8876096openalex-snapshot
[Retracted] Renovated XTEA Encoder Architecture‐Based Lightweight Mutual Authentication Protocol for RFID and Green Wireless Sensor Network Applications
inferred← citeshttps://doi.org/10.2307/421196openalex-snapshot
On the Decision Problem for Two-Variable First-Order Logic
inferred← citeshttps://doi.org/10.3166/jancl.16.169-207openalex-snapshot
BDD-based decision procedures for the modal logic K ★
inferred← citeshttps://doi.org/10.3233/fi-2014-1008openalex-snapshot
A Reliable Real-time Multicast Authentication Protocol with Provable Accuracy
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.