On the public citation graph
Study on strand space model theory
0 signed · 40 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/3-540-61042-1_43openalex-snapshot
Breaking and fixing the Needham-Schroeder Public-Key Protocol using FDR
inferredcites →https://doi.org/10.1007/978-3-540-46588-1_14openalex-snapshot
Security of Public Key Certificate Based Authentication Protocols
inferredcites →https://doi.org/10.1007/bfb0028162openalex-snapshot
Protocol interactions and the chosen protocol attack
inferredcites →https://doi.org/10.1007/s001650200025openalex-snapshot
On the Use of Data Refinement in the Development of Secure Communications Systems
inferredcites →https://doi.org/10.1016/s0020-0190(99)00023-xopenalex-snapshot
Inter-protocol interleaving attacks on some authentication and key distribution protocols
inferredcites →https://doi.org/10.1109/32.713329openalex-snapshot
Verifying authentication protocols in CSP
inferredcites →https://doi.org/10.1109/49.223869openalex-snapshot
Systematic design of a family of attack-resistant authentication protocols
inferredcites →https://doi.org/10.1109/csfw.1996.503688openalex-snapshot
Intensional specifications of 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.779773openalex-snapshot
Athena: a new efficient automatic checker for security protocol analysis
inferredcites →https://doi.org/10.1109/csfw.2000.856924openalex-snapshot
Relating strands and multiset rewriting for security protocol analysis
inferredcites →https://doi.org/10.1109/csfw.2000.856926openalex-snapshot
Looking for diamonds in the desert - extending automatic protocol generation to three-party authentication and key agreement protocols
inferredcites →https://doi.org/10.1109/csfw.2000.856928openalex-snapshot
An executable specification language for planning attacks to security protocols
inferredcites →https://doi.org/10.1109/csfw.2000.856942openalex-snapshot
How to prevent type flaw attacks on security protocols
inferredcites →https://doi.org/10.1145/334598.334607openalex-snapshot
An approach to the formal verification of the two-party cryptographic protocols
inferredcites →https://doi.org/10.21236/ada327281openalex-snapshot
Model Checking for Security Protocols,
inferredcites →https://doi.org/10.3233/jcs-1999-72-304openalex-snapshot
Strand spaces: proving security protocols correct
inferredcites →https://doi.org/10.3233/jcs-2001-9302openalex-snapshot
Relations between secrets: two formal analyses of the Yahalom protocol
inferredcites →https://doi.org/10.7916/d85b0861openalex-snapshot
Problem Areas for the IP 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/11689522_12openalex-snapshot
Security Protocol Analysis with Improved Authentication Tests
inferred← citeshttps://doi.org/10.1007/s11390-006-0740-2openalex-snapshot
Progress and Prospect of Some Fundamental Research on Information Security in China
inferred← citeshttps://doi.org/10.1007/s11432-007-0015-8openalex-snapshot
Analysis of security protocols based on challenge-response
inferred← citeshttps://doi.org/10.1080/10798587.2011.10643209openalex-snapshot
Formal Threat Analysis for Ad-Hoc Routing Protocol: Modelling and Checking the Sybil Attack
inferred← citeshttps://doi.org/10.1109/icc.2009.5198770openalex-snapshot
Authentication Tests Based on Test Type Matrix
inferred← citeshttps://doi.org/10.1109/iccs.2008.4737163openalex-snapshot
Improvements of authentication tests on detecting type flaw attacks
inferred← citeshttps://doi.org/10.1109/iciii.2009.454openalex-snapshot
Formal Analysis of SET Registration Protocol Based on Strand Space
inferred← citeshttps://doi.org/10.1109/isecs.2008.51openalex-snapshot
Definitions and Analysis of Integrity in Strand Spaces Model
inferred← citeshttps://doi.org/10.1109/iswpc.2007.342639openalex-snapshot
A Multi-agent Approach Toward the Security Analysis of the 802.11i Handshake Protocol
inferred← citeshttps://doi.org/10.1109/milcom.2007.4455039openalex-snapshot
Discovering Man-in-the-Middle Attacks in Authentication Protocols
inferred← citeshttps://doi.org/10.1109/nswctc.2009.165openalex-snapshot
"Self-Honesty" in Strand Spaces Model
inferred← citeshttps://doi.org/10.1360/122004-78openalex-snapshot
Knowledge structure approach to verification of authentication protocols
inferred← citeshttps://doi.org/10.1360/jos170148openalex-snapshot
Analysis of Security Protocols Based on Authentication Test
inferred← citeshttps://doi.org/10.2139/ssrn.6388942openalex-snapshot
Formal Analysis-Based Vulnerability Discovery Methods for TLS 1.2 Protocols
inferred← citeshttps://doi.org/10.5281/zenodo.1074528openalex-snapshot
Authentication Analysis Of The 802.11I Protocol
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.