On the public citation graph

A sound logic for analysing electronic commerce protocols

https://doi.org/10.1007/bfb0055874
0 signed · 53 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-61770-1openalex-snapshot
Computer Security — ESORICS 96
inferredcites →https://doi.org/10.1007/3-540-61770-1_39openalex-snapshot
Formal semantics for authentication logics
inferredcites →https://doi.org/10.1007/3-540-62494-5_5openalex-snapshot
Electronic payments of small amounts
inferredcites →https://doi.org/10.1007/3-540-62494-5_6openalex-snapshot
PayWord and MicroMint: Two simple micropayment schemes
inferredcites →https://doi.org/10.1007/bfb0055477openalex-snapshot
A formal specification of requirements for payment transactions in the SET protocol
inferredcites →https://doi.org/10.1016/0165-4896(94)90005-1openalex-snapshot
Reasoning about knowledge
inferredcites →https://doi.org/10.1017/cbo9780511621192openalex-snapshot
Modal Logic
inferredcites →https://doi.org/10.1109/32.502224openalex-snapshot
Accountability in electronic commerce protocols
inferredcites →https://doi.org/10.1109/csfw.1997.596802openalex-snapshot
Towards the formal verification of electronic commerce protocols
inferredcites →https://doi.org/10.1109/risp.1994.296595openalex-snapshot
On unifying some cryptographic protocol logics
inferredcites →https://doi.org/10.1145/112600.112618openalex-snapshot
A semantics for a logic of authentication (extended abstract)
inferredcites →https://doi.org/10.1145/238168.238195openalex-snapshot
An authentication logic supporting synchronization, revocation, and recency
inferredcites →https://doi.org/10.1145/359104.359106openalex-snapshot
Social processes and proofs of theorems and programs
inferredcites →https://doi.org/10.1145/74850.74852openalex-snapshot
A logic of authentication
inferredcites →https://doi.org/10.21236/ada465512openalex-snapshot
On Unifying Some Cryptographic Protocol Logics
inferredcites →https://doi.org/10.7551/mitpress/5803.001.0001openalex-snapshot
Reasoning About Knowledge

What points at this work

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

inferred← citeshttps://doi.org/10.1007/0-306-46958-8_1openalex-snapshot
A Role-based Specification of the SET Payment Transaction Protocol
inferred← citeshttps://doi.org/10.1007/1-4020-4094-6_10openalex-snapshot
Update Semantics of Security Protocols
inferred← citeshttps://doi.org/10.1007/10722599_10openalex-snapshot
Formal Verification of Cardholder Registration in SET
inferred← citeshttps://doi.org/10.1007/3-540-45472-1_11openalex-snapshot
Non-repudiation in SET: Open Issues
inferred← citeshttps://doi.org/10.1007/3-540-45608-2_2openalex-snapshot
The Logic of Authentication Protocols
inferred← citeshttps://doi.org/10.1007/3-540-45861-1_21openalex-snapshot
Practical Reasoning about Accountability in Electronic Commerce Protocols
inferred← citeshttps://doi.org/10.1007/978-1-4615-1467-1_7openalex-snapshot
A New Approach to Reasoning About Accountability in Cryptographic Protocols for E-Commerce
inferred← citeshttps://doi.org/10.1007/978-3-319-22915-7_39openalex-snapshot
Analysis of Accountability Property in Payment Systems Using Strand Space Model
inferred← citeshttps://doi.org/10.1007/978-3-322-84901-4_2openalex-snapshot
Eine korrekte Authentifikationslogik zur Analyse von Electronic-Commerce-Protokollen
inferred← citeshttps://doi.org/10.1007/978-3-642-35130-3_18openalex-snapshot
Verification of Money Atomicity in Digital Cash Based Payment System
inferred← citeshttps://doi.org/10.1007/bf02828681openalex-snapshot
Model checking electronic commerce security protocols based on CTL
inferred← citeshttps://doi.org/10.1007/bf03219936openalex-snapshot
Anonymous and secure electronic transaction protocol
inferred← citeshttps://doi.org/10.1007/bfb0055851openalex-snapshot
Computer Security — ESORICS 98
inferred← citeshttps://doi.org/10.1007/s10207-004-0047-7openalex-snapshot
An overview of the verification of SET
inferred← citeshttps://doi.org/10.1007/s10817-005-9018-6openalex-snapshot
Verifying the SET Purchase Protocols
inferred← citeshttps://doi.org/10.1007/s11229-004-2247-0openalex-snapshot
Update Semantics of Security Protocols
inferred← citeshttps://doi.org/10.1007/s11633-005-0155-5openalex-snapshot
Formal verification of the Merchant Registration phase of the SET protocol
inferred← citeshttps://doi.org/10.1016/j.entcs.2004.11.013openalex-snapshot
Toward Reasoning about Security Protocols: A Semantic Approach
inferred← citeshttps://doi.org/10.1016/j.ipl.2005.10.002openalex-snapshot
A flaw in the electronic commerce protocol SET
inferred← citeshttps://doi.org/10.1016/s0140-3664(99)00030-4openalex-snapshot
Security protocols over open networks and distributed systems: formal methods for their analysis, design, and verification
inferred← citeshttps://doi.org/10.1109/aswec.2001.948514openalex-snapshot
An environment for specifying and verifying security properties
inferred← citeshttps://doi.org/10.1109/cacwd.2004.1349149openalex-snapshot
A securely fair non-repudiation protocol with TTP load lightly
inferred← citeshttps://doi.org/10.1109/cacwd.2004.1349276openalex-snapshot
SOCPT: a secure online card payment protocol
inferred← citeshttps://doi.org/10.1109/csfw.2005.5openalex-snapshot
A Cryptographically Sound Dolev-Yao Style Security Proof of an Electronic Payment System
inferred← citeshttps://doi.org/10.1109/eee.2005.133openalex-snapshot
The Practical Detailed Requirements of Accountability and Its Application in the Electronic Payment Protocols
inferred← citeshttps://doi.org/10.1109/icdim.2010.5664658openalex-snapshot
Risk management in dynamic role based access control systems
inferred← citeshttps://doi.org/10.1109/iscit.2009.5341001openalex-snapshot
Accountability in centralized payment environments
inferred← citeshttps://doi.org/10.1109/iscit.2014.7011936openalex-snapshot
Accountability in internet transactions revisited
inferred← citeshttps://doi.org/10.1109/itcc.2004.1286423openalex-snapshot
Accountability logic for mobile payment protocols
inferred← citeshttps://doi.org/10.1109/tsmcb.2009.2019263openalex-snapshot
Analysis of Authentication Protocols in Agent-Based Systems Using Labeled Tableaux
inferred← citeshttps://doi.org/10.1145/586110.586113openalex-snapshot
The verification of an industrial payment protocol
inferred← citeshttps://doi.org/10.1145/586111.586113openalex-snapshot
The verification of an industrial payment protocol
inferred← citeshttps://doi.org/10.14569/ijacsa.2017.080323openalex-snapshot
A Review of Secure Authentication based e-Payment Protocol
inferred← citeshttps://doi.org/10.1561/3300000002openalex-snapshot
Accountability in Computing: Concepts and Mechanisms
inferred← citeshttps://doi.org/10.4103/0256-4602.63848openalex-snapshot
Accountability of Centralized Payment Systems: Formal Reasoning, Protocol Design and Analysis
inferred← citeshttps://doi.org/10.4304/jcp.4.3.184-192openalex-snapshot
A Formal Logic Framework for Receipt-freeness in Internet Voting Protocol
inferred← citeshttps://doi.org/10.4304/jnw.6.9.1262-1271openalex-snapshot
Automatic Verification of Remote Internet Voting Protocol in Symbolic Model
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.