On the public citation graph
A logic for constraint-based security protocol analysis
0 signed · 59 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.
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.
What this work says
Outgoing claims: the papers this work cites, builds on, or argues with.
inferredcites →https://doi.org/10.1007/11539452_20openalex-snapshot
Constraint Solving for Contract-Signing Protocols
inferredcites →https://doi.org/10.1007/3-540-45607-4_5openalex-snapshot
Proof Theory, Transformations, and Logic Programming for Debugging Security Protocols
inferredcites →https://doi.org/10.1007/3-540-45789-5_24openalex-snapshot
An Improved Constraint-Based System for the Verification of Security Protocols
inferredcites →https://doi.org/10.1007/978-3-662-09527-0openalex-snapshot
Protocols for Authentication and Key Establishment
inferredcites →https://doi.org/10.1007/bf00124891openalex-snapshot
Authentication and authenticated key exchanges
inferredcites →https://doi.org/10.1007/bf00125075openalex-snapshot
A formal language for cryptographic protocol requirements
inferredcites →https://doi.org/10.1016/0743-1066(95)00095-xopenalex-snapshot
The NRL Protocol Analyzer: An Overview
inferredcites →https://doi.org/10.1016/j.entcs.2004.12.019openalex-snapshot
A Trace Logic for Local Security Properties
inferredcites →https://doi.org/10.1016/j.jlap.2007.06.002openalex-snapshot
Automated Verification of Selected Equivalences for Security Protocols
inferredcites →https://doi.org/10.1109/csfw.1996.503701openalex-snapshot
Some new attacks upon security protocols
inferredcites →https://doi.org/10.1109/csfw.1997.596782openalex-snapshot
A hierarchy of authentication specifications
inferredcites →https://doi.org/10.1109/csfw.1999.779758openalex-snapshot
A formal framework and evaluation method for network denial of service
inferredcites →https://doi.org/10.1109/csfw.2000.856942openalex-snapshot
How to prevent type flaw attacks on security protocols
inferredcites →https://doi.org/10.1109/csfw.2001.930145openalex-snapshot
Protocol insecurity with finite number of sessions is NP-complete
inferredcites →https://doi.org/10.1109/csfw.2004.1310728openalex-snapshot
A theory of dictionary attacks and its complexity
inferredcites →https://doi.org/10.1109/csfw.2004.3openalex-snapshot
A theory of dictionary attacks and its complexity
inferredcites →https://doi.org/10.1109/csfw.2005.26openalex-snapshot
Temporal Rank Functions for Forward Secrecy
inferredcites →https://doi.org/10.1109/secpri.2004.1301317openalex-snapshot
Automatic proof of strong secrecy for security protocols
inferredcites →https://doi.org/10.1109/tit.1983.1056650openalex-snapshot
On the security of public key protocols
inferredcites →https://doi.org/10.1145/501983.502007openalex-snapshot
Constraint solving for bounded-process cryptographic protocol analysis
inferredcites →https://doi.org/10.3233/jcs-1999-72-304openalex-snapshot
Strand spaces: proving security protocols correct
inferredcites →https://doi.org/10.3233/jcs-2003-11204openalex-snapshot
How to prevent type flaw attacks on security protocols
inferredcites →https://doi.org/10.3233/jcs-2004-123-406openalex-snapshot
Types and effects for asymmetric cryptographic protocols
inferredcites →https://doi.org/10.3233/jcs-2004-12604openalex-snapshot
Formal specification and analysis of the Group Domain Of Interpretation Protocol using NPATRL and the NRL Protocol Analyzer
inferredcites →https://doi.org/10.3929/ethz-a-006666073openalex-snapshot
Constraint differentiation: A new reduction technique for constraint-based analysis of security protocols
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1007/11915034_86openalex-snapshot
Securing Data Accountability in Decentralized Systems
inferred← citeshttps://doi.org/10.1007/978-3-319-17404-4_8openalex-snapshot
Automatic Verification for Later-Correspondence of Security Protocols
inferred← citeshttps://doi.org/10.1007/978-3-540-78636-8_8openalex-snapshot
Historical Background and Further Reading
inferred← citeshttps://doi.org/10.1007/978-3-540-89862-7_6openalex-snapshot
Complexity of Checking Freshness of Cryptographic Protocols
inferred← citeshttps://doi.org/10.1007/978-3-642-18029-3_14openalex-snapshot
Verifying Authenticity in Interactive Behaviors of SemanticWeb Services
inferred← citeshttps://doi.org/10.1007/978-3-642-33704-8_12openalex-snapshot
Towards the Orchestration of Secured Services under Non-disclosure Policies
inferred← citeshttps://doi.org/10.1016/j.ic.2014.09.003openalex-snapshot
Bounding messages for free in security protocols – extension to various security properties
inferred← citeshttps://doi.org/10.1016/j.jsc.2016.07.008openalex-snapshot
Intruder deducibility constraints with negation. Decidability and application to secured service compositions
inferred← citeshttps://doi.org/10.1109/ares.2007.81openalex-snapshot
Errors in Attacks on Authentication Protocols
inferred← citeshttps://doi.org/10.1109/csf.2007.24openalex-snapshot
LTL Model Checking for Security Protocols
inferred← citeshttps://doi.org/10.1109/csf.2012.25openalex-snapshot
Automated Analysis of Diffie-Hellman Protocols and Advanced Security Properties
inferred← citeshttps://doi.org/10.1109/glocomw.2010.5700209openalex-snapshot
OWL-based verifying temporal properties for pervasive computing
inferred← citeshttps://doi.org/10.1109/icacsis.2018.8618173openalex-snapshot
Formal Verification of Divide and Conquer Key Distribution Protocol Using ProVerif and TLA+
inferred← citeshttps://doi.org/10.1109/icycs.2008.260openalex-snapshot
A Hybrid Vulnerability Analysis Method against Non-Security Protocols
inferred← citeshttps://doi.org/10.1109/iscc.2007.4381524openalex-snapshot
Validating Attacks on Authentication Protocols
inferred← citeshttps://doi.org/10.1109/iscis.2009.5291816openalex-snapshot
A secure key establishment protocol for zigbee wireless sensor networks
inferred← citeshttps://doi.org/10.1109/lics.2007.26openalex-snapshot
Infinite State AMC-Model Checking for Cryptographic Protocols
inferred← citeshttps://doi.org/10.1109/milcom.2009.5380109openalex-snapshot
Using deductive knowledge to improve cryptographic protocol verification
inferred← citeshttps://doi.org/10.1109/mpul.2010.937905openalex-snapshot
Interoperable Medical Devices
inferred← citeshttps://doi.org/10.1109/mwsn.2013.6603090openalex-snapshot
Modeling and analysis of LEAP, a key management protocol for wireless sensor networks
inferred← citeshttps://doi.org/10.1109/npsec.2006.320346openalex-snapshot
Automatic Vulnerability Checking of IEEE 802.16 WiMAX Protocols through TLA+
inferred← citeshttps://doi.org/10.1109/sahcn.2013.6644961openalex-snapshot
Modeling and analysis of LEAP, a key management protocol for wireless sensor networks
inferred← citeshttps://doi.org/10.1109/smartgridcomm.2013.6688005openalex-snapshot
Formal design of communication checkers for ICCP using UPPAAL
inferred← citeshttps://doi.org/10.1145/2459976.2459979openalex-snapshot
Security and performance evaluation of security protocols
inferred← citeshttps://doi.org/10.1561/2500000001openalex-snapshot
Formal Models and Techniques for Analyzing Security Protocols: A Tutorial
inferred← citeshttps://doi.org/10.1561/9781601989031openalex-snapshot
Formal Models and Techniques for Analyzing Security Protocols: A Tutorial
inferred← citeshttps://doi.org/10.17951/ai.2007.6.1.171-183openalex-snapshot
Attack and Revison of an Electronic Auction Protocol using OFMC
inferred← citeshttps://doi.org/10.3166/jancl.19.403-429openalex-snapshot
LTL model checking for security protocols
inferred← citeshttps://doi.org/10.3166/jancl.19.463-487openalex-snapshot
Automatic verification of temporal-epistemic properties of cryptographic protocols
inferred← citeshttps://doi.org/10.3906/elk-1208-93openalex-snapshot
Temporal logic extension for self-referring, nonexistence, multiple recurrence, and anterior past events
inferred← citeshttps://doi.org/10.3929/ethz-a-007605235openalex-snapshot
Analysis of reachability properties in communicating authorization policies
inferred← citeshttps://doi.org/10.4304/jsw.3.5.40-54openalex-snapshot
Deciding the Correctness of Attacks on Authentication Protocols
inferred← citeshttps://doi.org/10.70675/f3064779zc9e6z4a34zb41czfb795c178132openalex-snapshot
BSP algorithms for LTL & CTL model checking of 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.