Pages that link to "Item:Q3095038"
From MaRDI portal
The following pages link to Deciding knowledge in security protocols under some e-voting theories (Q3095038):
Displaying 4 items.
- 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)
- Combining Algorithms for Deciding Knowledge in Security Protocols (Q3525004) (← links)
- Automata, Languages and Programming (Q5466517) (← links)