Pages that link to "Item:Q860894"

The following pages link to Deciding knowledge in security protocols under equational theories (Q860894):

Displaying 44 items.

• Deciding equivalence-based properties using constraint solving (Q391121) (← links)
• Reducing equational theories for the decision of static equivalence (Q437026) (← links)
• Computing knowledge in security protocols under convergent equational theories (Q437033) (← links)
• Decidability and combination results for two notions of knowledge in security protocols (Q437043) (← links)
• Intruder deducibility constraints with negation. Decidability and application to secured service compositions (Q507348) (← links)
• A game-theoretic framework for specification and verification of cryptographic protocols (Q607405) (← links)
• A pure labeled transition semantics for the applied pi calculus (Q621583) (← links)
• Intruder deduction problem for locally stable theories with normal forms and inverses (Q683746) (← links)
• Algorithmic problems in the symbolic approach to the verification of automatically synthesized cryptosystems (Q831949) (← links)
• Compiling and securing cryptographic protocols (Q990127) (← links)
• A spatial equational logic for the applied \(\pi \)-calculus (Q992517) (← links)
• Terminating non-disjoint combined unification (Q2119106) (← links)
• Compositional analysis of protocol equivalence in the applied \(\pi \)-calculus using quasi-open bisimilarity (Q2119978) (← links)
• Formalizing provable anonymity in Isabelle/HOL (Q2355379) (← links)
• Stateful applied pi calculus: observational equivalence and labelled bisimilarity (Q2397042) (← links)
• Automated verification of selected equivalences for security protocols (Q2474047) (← links)
• Hierarchical combination of intruder theories (Q2482450) (← links)
• An Equation-Based Classical Logic (Q2947458) (← links)
• Deciding knowledge in security protocols under some e-voting theories (Q3095038) (← links)
• Model Checking Security Protocols (Q3176380) (← links)
• Maude-NPA: Cryptographic Protocol Analysis Modulo Equational Properties (Q3184784) (← links)
• Alice and Bob: Reconciling Formal Models and Implementation (Q3460863) (← links)
• A Probabilistic Applied Pi–Calculus (Q3498438) (← links)
• Deciding Knowledge in Security Protocols for Monoidal Equational Theories (Q3498466) (← links)
• Combining Algorithms for Deciding Knowledge in Security Protocols (Q3525004) (← links)
• Challenges in the Automated Verification of Security Protocols (Q3541719) (← links)
• YAPA: A Generic Tool for Computing Intruder Knowledge (Q3636824) (← links)
• (Q4517291) (← links)
• Analysing privacy-type properties in cryptographic protocols (invited talk) (Q4993330) (← links)
• Trace Equivalence and Epistemic Logic to Express Security Properties (Q5041278) (← links)
• Computing knowledge in equational extensions of subterm convergent theories (Q5139279) (← links)
• (Q5146597) (← links)
• A Complete Symbolic Bisimilarity for an Extended Spi Calculus (Q5170184) (← links)
• Computing Knowledge in Security Protocols under Convergent Equational Theories (Q5191113) (← links)
• Formalization in PVS of Balancing Properties Necessary for Proving Security of the Dolev-Yao Cascade Protocol Model (Q5195250) (← links)
• Deciding Security for Protocols with Recursive Tests (Q5200014) (← links)
• Probabilistic logic over equations and domain restrictions (Q5377701) (← links)
• Symbolic Bisimulation for the Applied Pi Calculus (Q5458829) (← links)
• Automata, Languages and Programming (Q5466517) (← links)
• Computationally Sound Symbolic Analysis of Probabilistic Protocols with Ideal Setups (Q5505468) (← links)
• Automating Security Analysis: Symbolic Equivalence of Constraint Systems (Q5747780) (← links)
• A Proof Theoretic Analysis of Intruder Theories (Q5902125) (← links)
• When privacy fails, a formula describes an attack: a complete and compositional verification method for the applied \(\pi\)-calculus (Q6041667) (← links)
• DeepSec: deciding equivalence properties for security protocols -- improved theory and practice (Q6566464) (← links)