On the public citation graph

Finite-state analysis of security protocols

https://doi.org/10.1007/bfb0028734
0 signed · 38 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.1007/3-540-61042-1_43openalex-snapshot
Breaking and fixing the Needham-Schroeder Public-Key Protocol using FDR
inferredcites →https://doi.org/10.1007/3-540-61770-1_46openalex-snapshot
Analyzing the Needham-Schroeder public key protocol: A comparison of two approaches
inferredcites →https://doi.org/10.1007/bf00197942openalex-snapshot
Three systems for cryptographic protocol analysis
inferredcites →https://doi.org/10.1016/0022-0000(84)90070-9openalex-snapshot
Probabilistic encryption
inferredcites →https://doi.org/10.1098/rspa.1989.0125openalex-snapshot
A logic of authentication
inferredcites →https://doi.org/10.1109/csfw.1995.518556openalex-snapshot
Modelling and verifying key-exchange protocols using CSP and FDR
inferredcites →https://doi.org/10.1109/csfw.1997.596788openalex-snapshot
Proving properties of security protocols by induction
inferredcites →https://doi.org/10.1109/iccd.1992.276232openalex-snapshot
Protocol verification as a hardware design aid
inferredcites →https://doi.org/10.1109/secpri.1996.502680openalex-snapshot
Security properties and CSP
inferredcites →https://doi.org/10.1109/secpri.1997.601329openalex-snapshot
Automated analysis of cryptographic protocols using Murφ
inferredcites →https://doi.org/10.1109/sfcs.1981.32openalex-snapshot
On the security of public key protocols
inferredcites →https://doi.org/10.1145/103418.103474openalex-snapshot
Non-malleable cryptography
inferredcites →https://doi.org/10.1145/77648.77649openalex-snapshot
A logic of authentication
inferredcites →https://doi.org/10.1515/9780691206844openalex-snapshot
Pseudorandomness and Cryptographic Applications
inferredcites →https://doi.org/10.17487/rfc1510openalex-snapshot
The Kerberos Network Authentication Service (V5)
inferredcites →https://doi.org/10.21236/ada465136openalex-snapshot
Analyzing the Needham-Schroeder Public Key Protocol: A Comparison of Two Approaches
inferredcites →https://doi.org/10.5860/choice.34-4512openalex-snapshot
Handbook of applied cryptography

What points at this work

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

inferred← citeshttps://doi.org/10.1007/3-540-45610-4_2openalex-snapshot
Multiset Rewriting and Security Protocol Analysis
inferred← citeshttps://doi.org/10.1007/3-540-48523-6_3openalex-snapshot
Proof Techniques for Cryptographic Protocols
inferred← citeshttps://doi.org/10.1007/3-540-48660-7_29openalex-snapshot
Towards an Automatic Analysis of Security Protocols in First-Order Logic
inferred← citeshttps://doi.org/10.1007/978-0-387-74899-3_9openalex-snapshot
Model Checking Wireless Sensor Network Security Protocols: TinySec + LEAP
inferred← citeshttps://doi.org/10.1007/978-3-031-19439-9_10openalex-snapshot
Transport Layer Security
inferred← citeshttps://doi.org/10.1007/978-3-319-45811-3_1openalex-snapshot
Introduction
inferred← citeshttps://doi.org/10.1007/978-3-540-69850-0_5openalex-snapshot
A Retrospective on Murϕ
inferred← citeshttps://doi.org/10.1007/978-3-642-32009-5_17openalex-snapshot
On the Security of TLS-DHE in the Standard Model
inferred← citeshttps://doi.org/10.1007/978-3-642-33167-1_17openalex-snapshot
Revealing Abuses of Channel Assignment Protocols in Multi-channel Wireless Networks: An Investigation Logic Approach
inferred← citeshttps://doi.org/10.1007/s00145-016-9248-2openalex-snapshot
Authenticated Confidential Channel Establishment and the Security of TLS-DHE
inferred← citeshttps://doi.org/10.1007/s11235-008-9131-zopenalex-snapshot
Model checking wireless sensor network security protocols: TinySec + LEAP + TinyPK
inferred← citeshttps://doi.org/10.1109/atnac.2008.4783293openalex-snapshot
Design & Implementation of a Secure Sensitive Information System for Wireless Mobile Devices
inferred← citeshttps://doi.org/10.1109/csfw.1999.779762openalex-snapshot
A meta-notation for protocol analysis
inferred← citeshttps://doi.org/10.1109/csfw.2001.930144openalex-snapshot
Computing symbolic models for verifying cryptographic protocols
inferred← citeshttps://doi.org/10.1109/icycs.2008.186openalex-snapshot
Dynamic Keys Based Sensitive Information System
inferred← citeshttps://doi.org/10.1109/mobhoc.2007.4428763openalex-snapshot
Formal Analysis of Sensor Network Encryption Protocol (SNEP)
inferred← citeshttps://doi.org/10.1109/wons.2012.6152219openalex-snapshot
Towards energy consumption evaluation of the SSL handshake protocol in mobile communications
inferred← citeshttps://doi.org/10.1145/1102120.1102124openalex-snapshot
A modular correctness proof of IEEE 802.11i and TLS
inferred← citeshttps://doi.org/10.1145/1124153.1124155openalex-snapshot
Performance analysis of TLS Web servers
inferred← citeshttps://doi.org/10.1371/journal.pone.0194093openalex-snapshot
Cryptanalysis and improvement of a biometrics-based authentication and key agreement scheme for multi-server environments
inferred← citeshttps://doi.org/10.3233/jcs-2004-12203openalex-snapshot
Multiset rewriting and the complexity of bounded security protocols
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.