On the public citation graph

Security analysis of (un-) fair non-repudiation protocols

https://doi.org/10.1007/b94774
0 signed · 21 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/978-3-540-40981-6_6openalex-snapshot
Towards a Formal Specification of the Bellare-Rogaway Model for Protocol Analysis
inferredcites →https://doi.org/10.1007/978-3-540-40981-6_8openalex-snapshot
Analysing 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.1002/9780470385883.biblioopenalex-snapshot
Bibliography
inferred← citeshttps://doi.org/10.1002/9780470385883.ch2openalex-snapshot
Extreme Programming Outlined
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/11542322_23openalex-snapshot
Is the Verification Problem for Cryptographic Protocols Solved?
inferred← citeshttps://doi.org/10.1007/11576235_57openalex-snapshot
An Authentication Protocol for Pervasive Computing
inferred← citeshttps://doi.org/10.1007/978-3-319-00945-2_27openalex-snapshot
Discrete Transportation Systems Quality Performance Analysis by Critical States Detection
inferred← citeshttps://doi.org/10.1007/978-3-540-39881-3_7openalex-snapshot
Smart Devices and Software Agents: The Basics of Good Behaviour
inferred← citeshttps://doi.org/10.1007/978-3-540-39893-6_10openalex-snapshot
Generic Interacting State Machines and Their Instantiation with Dynamic Features
inferred← citeshttps://doi.org/10.1007/978-3-540-40042-4_6openalex-snapshot
Facets of Security
inferred← citeshttps://doi.org/10.1007/978-3-540-45192-1_20openalex-snapshot
Artificial Immune Systems and the Grand Challenge for Non-classical Computation
inferred← citeshttps://doi.org/10.1007/978-3-540-75227-1_14openalex-snapshot
A Theorem-Proving Approach to Verification of Fair Non-repudiation Protocols
inferred← citeshttps://doi.org/10.1007/978-3-540-78499-9_4openalex-snapshot
Stochastic Games with Lossy Channels
inferred← citeshttps://doi.org/10.1007/978-3-642-01440-6_12openalex-snapshot
SPVT-II: An Efficient Security Protocol Verifier Based on Logic Programming
inferred← citeshttps://doi.org/10.1007/978-3-642-04904-0_10openalex-snapshot
Where Next for Formal Methods?
inferred← citeshttps://doi.org/10.1007/978-3-642-28762-6_19openalex-snapshot
Modelling Cryptographic Keys in Dynamic Epistemic Logic with DEMO
inferred← citeshttps://doi.org/10.1007/978-3-642-30244-2_7openalex-snapshot
Privacy Enhanced Device Access
inferred← citeshttps://doi.org/10.1007/978-3-642-34447-3_21openalex-snapshot
Enhancing Security of Online Payments: A Conceptual Model for a Robust E-Payment Protocol for E-Commerce
inferred← citeshttps://doi.org/10.1080/17445760500355454openalex-snapshot
Journeys in non-classical computation II: initial journeys and waypoints
inferred← citeshttps://doi.org/10.1111/phc3.12059openalex-snapshot
Dynamic Epistemic Logic I: Modeling Knowledge and Belief
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.