Deducibility constraints

DOI10.1007/978-3-642-10622-4_3MaRDI QIDQ3656839zbMATH OpenOpenAlexFDO

Authors Sergiu Bursuc, Hubert Comon-Lundh, Stéphanie Delaune

Publication date 14 January 2010

Published in Advances in Computer Science - ASIAN 2009. Information Security and Privacy (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-10622-4_3

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Logic in computer science (03B70) Cryptography (94A60)

Recommendations

• Deducibility constraints and blind signatures
• Associative-Commutative Deducibility Constraints
• Tractable inference systems: an extension with a deducibility predicate
• Satisfiability of general intruder constraints with and without a set constructor
• A proof theoretic analysis of intruder theories

Cited in

(5)

• Satisfiability of Dolev-Yao constraints
• Associative-Commutative Deducibility Constraints
• Deducibility constraints and blind signatures
• Tractable inference systems: an extension with a deducibility predicate
• Deterministic enforcement of constraints

This page was built for publication: Deducibility constraints

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3656839)