A Proof Theoretic Analysis of Intruder Theories (Q5902125): Difference between revisions

@@ Property / cites work @@
+Deciding knowledge in security protocols under equational theories
+Normal rank
@@ Property / cites work @@
+Q4536615
@@ Property / cites work: Q4536615 / rank @@
+Normal rank
@@ Property / cites work @@
+Combining Algorithms for Deciding Knowledge in Security Protocols
+Normal rank
@@ Property / cites work @@
+Unification in the union of disjoint equational theories: Combining decision procedures
+Normal rank
@@ Property / cites work @@
+Q4535055
@@ Property / cites work: Q4535055 / rank @@
+Normal rank
@@ Property / cites work @@
+An NP decision procedure for protocol insecurity with XOR
+Normal rank
@@ Property / cites work @@
+Deciding Knowledge in Security Protocols for Monoidal Equational Theories
+Normal rank
@@ Property / cites work @@
+Easy intruder deduction problems with homomorphisms
+Normal rank
@@ Property / cites work @@
+Symbolic Protocol Analysis in Presence of a Homomorphism Operator and Exclusive Or
+Normal rank
@@ Property / cites work @@
+Symbolic protocol analysis for monoidal equational theories
+Normal rank
@@ Property / cites work @@
+A practical secret voting scheme for large scale elections
+Normal rank
@@ Property / cites work @@
+Programming Languages and Systems
@@ Property / cites work: Programming Languages and Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Intruder deduction for the equational theory of abelian groups with distributive encryption
+Normal rank
@@ Property / cites work @@
+Unification in a combination of arbitrary disjoint equational theories
+Normal rank
@@ Property / cites work @@
+A Trace Based Bisimulation for the Spi Calculus: An Extended Abstract
+Normal rank