Pages that link to "Item:Q3525004"
From MaRDI portal
The following pages link to Combining Algorithms for Deciding Knowledge in Security Protocols (Q3525004):
Displayed 8 items.
- Reducing equational theories for the decision of static equivalence (Q437026) (← links)
- Computing knowledge in security protocols under convergent equational theories (Q437033) (← links)
- Compiling and securing cryptographic protocols (Q990127) (← links)
- Deciding knowledge in security protocols under some e-voting theories (Q3095038) (← links)
- Deciding Knowledge in Security Protocols for Monoidal Equational Theories (Q3498466) (← links)
- Challenges in the Automated Verification of Security Protocols (Q3541719) (← links)
- Automated Verification of Equivalence Properties of Cryptographic Protocols (Q5278194) (← links)
- A Proof Theoretic Analysis of Intruder Theories (Q5902125) (← links)