On the public citation graph

Formal requirements for key distribution protocols

https://doi.org/10.1007/bfb0053447
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.
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-46766-1_3openalex-snapshot
Systematic Design of Two-Party Authentication Protocols
inferredcites →https://doi.org/10.1007/bf00124891openalex-snapshot
Authentication and authenticated key exchanges
inferredcites →https://doi.org/10.1007/bf00197942openalex-snapshot
Three systems for cryptographic protocol analysis
inferredcites →https://doi.org/10.1109/risp.1992.213267openalex-snapshot
Roles in cryptographic protocols
inferredcites →https://doi.org/10.1109/risp.1993.287634openalex-snapshot
A logical language for specifying cryptographic protocol requirements
inferredcites →https://doi.org/10.1109/tit.1983.1056650openalex-snapshot
On the security of public key protocols
inferredcites →https://doi.org/10.1145/142854.142872openalex-snapshot
A nonce-based protocol for multiple authentications
inferredcites →https://doi.org/10.1145/155848.155852openalex-snapshot
A note on the use of timestamps as nonces
inferredcites →https://doi.org/10.1145/163640.163642openalex-snapshot
On key distribution protocols for repeated authentication
inferredcites →https://doi.org/10.1145/168588.168600openalex-snapshot
Adding time to a logic of authentication
inferredcites →https://doi.org/10.21236/ada463014openalex-snapshot
A Logical Language for Specifying Cryptographic Protocol Requirements
inferredcites →https://doi.org/10.3233/jcs-1992-1102openalex-snapshot
Applying Formal Methods to the Analysis of a Key Management Protocol

What points at this work

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

inferred← citeshttps://doi.org/10.1002/9781119183471.refsopenalex-snapshot
References
inferred← citeshttps://doi.org/10.1006/jvci.1998.0391openalex-snapshot
Watermarking Schemes and Protocols for Protecting Rightful Ownership and Customer's Rights
inferred← citeshttps://doi.org/10.1007/0-306-46958-8_6openalex-snapshot
Hazard Analysis for Security Protocol Requirements
inferred← citeshttps://doi.org/10.1007/11415787_19openalex-snapshot
Formal Verification of a Type Flaw Attack on a Security Protocol Using Object-Z
inferred← citeshttps://doi.org/10.1007/11542322_10openalex-snapshot
Client v. Server Side Protocols, Interfaces and Storage
inferred← citeshttps://doi.org/10.1007/11604655_39openalex-snapshot
A Game Based Model of Security for Key Predistribution Schemes in Wireless Sensor Network
inferred← citeshttps://doi.org/10.1007/3-540-36575-3_2openalex-snapshot
What Makes a Cryptographic Protocol Secure? The Evolution of Requirements Specification in Formal Cryptographic Protocol Analysis
inferred← citeshttps://doi.org/10.1007/3-540-45608-2_2openalex-snapshot
The Logic of Authentication Protocols
inferred← citeshttps://doi.org/10.1007/978-3-540-24631-2_2openalex-snapshot
The Key Establishment Problem
inferred← citeshttps://doi.org/10.1007/978-3-540-79980-1_14openalex-snapshot
A Formal Analysis of Complex Type Flaw Attacks on Security Protocols
inferred← citeshttps://doi.org/10.1007/bf00125075openalex-snapshot
A formal language for cryptographic protocol requirements
inferred← citeshttps://doi.org/10.1007/bfb0000430openalex-snapshot
Formal verification of cryptographic protocols: A survey
inferred← citeshttps://doi.org/10.1007/bfb0053418openalex-snapshot
Advances in Cryptology — EUROCRYPT'94
inferred← citeshttps://doi.org/10.1007/bfb0055477openalex-snapshot
A formal specification of requirements for payment transactions in the SET protocol
inferred← citeshttps://doi.org/10.1016/0743-1066(95)00095-xopenalex-snapshot
The NRL Protocol Analyzer: An Overview
inferred← citeshttps://doi.org/10.1016/j.scico.2003.12.001openalex-snapshot
Ordering from Satan's menu: a survey of requirements specification for formal analysis of cryptographic protocols
inferred← citeshttps://doi.org/10.1049/cp:20070712openalex-snapshot
A security protocol specification language extension for modal logic-based verification
inferred← citeshttps://doi.org/10.1109/ainaw.2007.304openalex-snapshot
Rank Theorems for Forward Secrecy in Group Key Management Protocols
inferred← citeshttps://doi.org/10.1109/apsec.2003.1254397openalex-snapshot
Formal verification of type flaw attacks in security protocols
inferred← citeshttps://doi.org/10.1109/csfw.1995.518557openalex-snapshot
Using temporal logic to specify and verify cryptographic protocols
inferred← citeshttps://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
inferred← citeshttps://doi.org/10.1109/secpri.1996.502670openalex-snapshot
Limitations on design principles for public key protocols
inferred← citeshttps://doi.org/10.1109/secpri.2002.1004375openalex-snapshot
Self-healing key distribution with revocation
inferred← citeshttps://doi.org/10.1145/1085126.1085128openalex-snapshot
The concept of layered proving trees and its application to the automation of security protocol verification
inferred← citeshttps://doi.org/10.1145/501983.502016openalex-snapshot
Formalizing GDOI group key management requirements in NPATRL
inferred← citeshttps://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
inferred← citeshttps://doi.org/10.34961/3534openalex-snapshot
Logic based analysis of security protocols in a unified verification framework
inferred← citeshttps://doi.org/10.5075/epfl-thesis-2511openalex-snapshot
Building blocks for secure services : authenticated key transport and rational exchange 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.