Pages that link to "Item:Q2482449"
From MaRDI portal
The following pages link to Symbolic protocol analysis for monoidal equational theories (Q2482449):
Displaying 12 items.
- Decidability and combination results for two notions of knowledge in security protocols (Q437043) (← links)
- Deducibility constraints and blind signatures (Q462488) (← links)
- Satisfiability of general intruder constraints with and without a set constructor (Q507349) (← links)
- Algebra model and security analysis for cryptographic protocols (Q866077) (← links)
- An equational metalogic for monadic equational systems (Q2855643) (← links)
- Symbolic Semantics for Multiparty Interactions in the Link-Calculus (Q2971125) (← links)
- Symbolic Protocol Analysis with Disequality Constraints Modulo Equational Theories (Q3460872) (← links)
- Deciding Knowledge in Security Protocols for Monoidal Equational Theories (Q3498466) (← links)
- Challenges in the Automated Verification of Security Protocols (Q3541719) (← links)
- Protocol Security and Algebraic Properties: Decision Results for a Bounded Number of Sessions (Q3636823) (← links)
- Mechanizing Mathematical Reasoning (Q5717454) (← links)
- A Proof Theoretic Analysis of Intruder Theories (Q5902125) (← links)