scientific article; zbMATH DE number 1534512
From MaRDI portal
Publication:4517291
Recommendations
- Decidability and combination results for two notions of knowledge in security protocols
- Combining Algorithms for Deciding Knowledge in Security Protocols
- Computing knowledge in security protocols under convergent equational theories
- Computing Knowledge in Security Protocols under Convergent Equational Theories
- Automata, Languages and Programming
- Deciding knowledge in security protocols under equational theories
- Secure multiparty protocols and zero-knowledge proof systems tolerating a faulty minority
- Security and composition of multiparty cryptographic protocols
Cited in
(3)
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4517291)