On the public citation graph

Constraint Solving for Contract-Signing Protocols

https://doi.org/10.1007/11539452_20
0 signed · 33 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-45657-0_27openalex-snapshot
The AVISS Security Protocol Analysis Tool
inferredcites →https://doi.org/10.1007/3-540-48405-1openalex-snapshot
Advances in Cryptology — CRYPTO’ 99
inferredcites →https://doi.org/10.1007/3-540-48405-1_29openalex-snapshot
Abuse-Free Optimistic Contract Signing
inferredcites →https://doi.org/10.1007/978-3-540-31856-9_13openalex-snapshot
Deciding Properties of Contract-Signing Protocols
inferredcites →https://doi.org/10.1007/978-3-540-39650-5_15openalex-snapshot
An On-the-Fly Model-Checker for Security Protocol Analysis
inferredcites →https://doi.org/10.1016/j.entcs.2004.05.024openalex-snapshot
The ASW Protocol Revisited: A Unified View
inferredcites →https://doi.org/10.1016/s0304-3975(01)00141-4openalex-snapshot
Finite-state analysis of two contract signing protocols
inferredcites →https://doi.org/10.1016/s0304-3975(02)00090-7openalex-snapshot
On the symbolic reduction of processes with cryptographic functions
inferredcites →https://doi.org/10.1016/s0304-3975(02)00490-5openalex-snapshot
Protocol insecurity with a finite number of sessions and composed keys is NP-complete
inferredcites →https://doi.org/10.1109/ase.2001.989832openalex-snapshot
A tool for lazy verification of security protocols
inferredcites →https://doi.org/10.1109/csfw.2002.1021817openalex-snapshot
Game analysis of abuse-free contract signing
inferredcites →https://doi.org/10.1109/lics.2003.1210066openalex-snapshot
An NP decision procedure for protocol insecurity with XOR
inferredcites →https://doi.org/10.1109/secpri.1998.674826openalex-snapshot
Asynchronous protocols for optimistic fair exchange
inferredcites →https://doi.org/10.1145/501983.502007openalex-snapshot
Constraint solving for bounded-process cryptographic protocol analysis
inferredcites →https://doi.org/10.1145/501983.502008openalex-snapshot
Inductive methods and contract-signing 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/978-3-540-74835-9_28openalex-snapshot
A Cryptographic Model for Branching Time Security Properties – The Case of Contract Signing Protocols
inferred← citeshttps://doi.org/10.1007/978-3-540-75698-9_3openalex-snapshot
Nuovo DRM Paradiso: Towards a Verified Fair DRM Scheme
inferred← citeshttps://doi.org/10.1007/978-3-642-10622-4_3openalex-snapshot
Deducibility Constraints
inferred← citeshttps://doi.org/10.1007/978-3-642-16161-2_28openalex-snapshot
A Formal Definition of Online Abuse-Freeness
inferred← citeshttps://doi.org/10.1007/s10207-024-00818-yopenalex-snapshot
Abuse-freeness in contract signing: a blockchain-based proposal
inferred← citeshttps://doi.org/10.1109/acsd.2010.19openalex-snapshot
Partial Order Reduction for Branching Security Protocols
inferred← citeshttps://doi.org/10.1109/lics.2007.26openalex-snapshot
Infinite State AMC-Model Checking for Cryptographic Protocols
inferred← citeshttps://doi.org/10.1109/lics.2010.25openalex-snapshot
A Calculus of Contracting Processes
inferred← citeshttps://doi.org/10.1109/milcom.2009.5380109openalex-snapshot
Using deductive knowledge to improve cryptographic protocol verification
inferred← citeshttps://doi.org/10.1109/sp.2006.3openalex-snapshot
A logic for constraint-based security protocol analysis
inferred← citeshttps://doi.org/10.1145/1180337.1180340openalex-snapshot
An intruder model for verifying liveness in security protocols
inferred← citeshttps://doi.org/10.1145/1740582.1740585openalex-snapshot
Deciding strategy properties of contract-signing protocols
inferred← citeshttps://doi.org/10.1201/9781420059823openalex-snapshot
Handbook of Financial Cryptography and Security
inferred← citeshttps://doi.org/10.1201/9781420059823-c5openalex-snapshot
Fair Exchange
inferred← citeshttps://doi.org/10.3233/978-1-60750-714-7-35openalex-snapshot
Constraint solving techniques and enriching the model with equational theories
inferred← citeshttps://doi.org/10.3929/ethz-a-007605235openalex-snapshot
Analysis of reachability properties in communicating authorization policies
inferred← citeshttps://doi.org/10.5555/1775223.1775226openalex-snapshot
Nuovo DRM paradiso: towards a verified fair DRM scheme
inferred← citeshttps://doi.org/10.6100/ir643467openalex-snapshot
Security matters:privacy in voting and fairness in digital exchange
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.