On the public citation graph

Security Protocols Verification in Abductive Logic Programming: A Case Study

https://doi.org/10.1007/11759683_7
0 signed · 52 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/11558590openalex-snapshot
AI*IA 2005: Advances in Artificial Intelligence
inferredcites →https://doi.org/10.1007/11558590_14openalex-snapshot
The SCIFF Abductive Proof-Procedure
inferredcites →https://doi.org/10.1007/11759683_11openalex-snapshot
Predicting Exceptions in Agent-Based Supply-Chains
inferredcites →https://doi.org/10.1007/3-540-40006-0_4openalex-snapshot
Semi-qualitative Reasoning about Distances: A Preliminary Report
inferredcites →https://doi.org/10.1007/3-540-45023-8openalex-snapshot
Multi-Agent Systems and Applications III
inferredcites →https://doi.org/10.1007/3-540-45023-8_20openalex-snapshot
A Social ACL Semantics by Deontic Constraints
inferredcites →https://doi.org/10.1007/3-540-45584-1_1openalex-snapshot
Categories of Artificial Societies
inferredcites →https://doi.org/10.1007/3-540-45619-8_3openalex-snapshot
An Abductive Approach for Analysing Event-Based Requirements Specifications
inferredcites →https://doi.org/10.1007/3-540-45789-5_24openalex-snapshot
An Improved Constraint-Based System for the Verification of Security Protocols
inferredcites →https://doi.org/10.1007/3-540-45789-5_25openalex-snapshot
From Secrecy to Authenticity in Security Protocols
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-24730-2_35openalex-snapshot
A Temporal Logic of Nested Calls and Returns
inferredcites →https://doi.org/10.1007/978-3-540-30227-8_51openalex-snapshot
Automatic Compilation of Protocol Insecurity Problems into Logic Programming
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.1007/978-3-540-39853-0_24openalex-snapshot
An Abductive Interpretation for Open Agent Societies
inferredcites →https://doi.org/10.1007/b13237openalex-snapshot
Computer Security – ESORICS 2003
inferredcites →https://doi.org/10.1007/b136158openalex-snapshot
Engineering Societies in the Agents World V
inferredcites →https://doi.org/10.1007/b13658openalex-snapshot
AI*IA 2003: Advances in Artificial Intelligence
inferredcites →https://doi.org/10.1016/0743-1066(94)90033-7openalex-snapshot
Constraint logic programming: a survey
inferredcites →https://doi.org/10.1016/s0743-1066(97)00026-5openalex-snapshot
The IFF proof procedure for abductive logic programming
inferredcites →https://doi.org/10.1016/s1571-0661(05)82605-2openalex-snapshot
Specification and Verification of Agent Interaction using Social Integrity Constraints
inferredcites →https://doi.org/10.1093/logcom/2.6.719openalex-snapshot
Abductive Logic Programming
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/tit.1983.1056650openalex-snapshot
On the security of public key protocols
inferredcites →https://doi.org/10.1145/1044731.1044735openalex-snapshot
Analyzing security protocols with secrecy types and logic programs
inferredcites →https://doi.org/10.1145/358722.358740openalex-snapshot
Timestamps in key distribution protocols
inferredcites →https://doi.org/10.1145/359657.359659openalex-snapshot
Using encryption for authentication in large networks of computers
inferredcites →https://doi.org/10.1145/501983.502007openalex-snapshot
Constraint solving for bounded-process cryptographic protocol analysis
inferredcites →https://doi.org/10.1145/544862.544867openalex-snapshot
Flexible protocol specification and execution
inferredcites →https://doi.org/10.1145/544862.544873openalex-snapshot
Proving properties of open agent systems
inferredcites →https://doi.org/10.1145/888251.888252openalex-snapshot
Automatic verification of cryptographic protocols
inferredcites →https://doi.org/10.3233/jcs-1998-61-205openalex-snapshot
The inductive approach to verifying cryptographic 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/11750734_14openalex-snapshot
Specification and Verification of Agent Interaction Using Abductive Reasoning
inferred← citeshttps://doi.org/10.1007/11750734_26openalex-snapshot
Multi-agent Systems in Computational Logic: Challenges and Outcomes of the SOCS Project
inferred← citeshttps://doi.org/10.1007/11841197_4openalex-snapshot
Computational Logic for Run-Time Verification of Web Services Choreographies: Exploiting the SOCS-SI Tool
inferred← citeshttps://doi.org/10.1007/11875604_22openalex-snapshot
A Verifiable Logic-Based Agent Architecture
inferred← citeshttps://doi.org/10.1007/978-3-319-15895-2_31openalex-snapshot
YAWL in the Cloud: Supporting Process Sharing and Variability
inferred← citeshttps://doi.org/10.1007/978-3-319-29354-7_2openalex-snapshot
The Individual Realm of Machine Ethics: A Survey
inferred← citeshttps://doi.org/10.1007/978-3-319-50953-2_14openalex-snapshot
Abductive Logic Programming for Normative Reasoning and Ontologies
inferred← citeshttps://doi.org/10.1007/978-3-540-88833-8_9openalex-snapshot
${\cal B}$ -Tropos
inferred← citeshttps://doi.org/10.1007/978-3-642-04238-6_30openalex-snapshot
A General Approach to the Verification of Cryptographic Protocols Using Answer Set Programming
inferred← citeshttps://doi.org/10.1007/s10458-010-9135-4openalex-snapshot
Engineering and verifying agent-oriented requirements augmented by business constraints with $${\mathcal{B}}$$ -Tropos
inferred← citeshttps://doi.org/10.1007/s11416-024-00518-0openalex-snapshot
Sniping at web applications to discover input-handling vulnerabilities
inferred← citeshttps://doi.org/10.1109/sere.2014.22openalex-snapshot
Security Test Generation by Answer Set Programming
inferred← citeshttps://doi.org/10.1145/1140335.1140342openalex-snapshot
An abductive framework for a-priori verification of web services
inferred← citeshttps://doi.org/10.1145/1380572.1380578openalex-snapshot
Verifiable agent interaction in abductive logic programming
inferred← citeshttps://doi.org/10.1145/1658373.1658376openalex-snapshot
Declarative specification and verification of service choreographiess
inferred← citeshttps://doi.org/10.1145/3107936openalex-snapshot
Accountable Protocols in Abductive Logic Programming
inferred← citeshttps://doi.org/10.2753/jec1086-4415120401openalex-snapshot
Expressing and Verifying Business Contracts with Abductive Logic Programming
inferred← citeshttps://doi.org/10.3233/fi-2018-1658openalex-snapshot
Reasoning on Datalog± Ontologies with Abductive Logic Programming
inferred← citeshttps://doi.org/10.3233/ia-2011-0006openalex-snapshot
Learning specifications of interaction protocols and business processes and proving their properties
inferred← citeshttps://doi.org/10.4204/eptcs.325.20openalex-snapshot
Tabling Optimization for Contextual Abduction
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.