Easy intruder deduction problems with homomorphisms (Q1045939): Difference between revisions

@@ Property / DOI @@
-.1016/j.ipl.2005.11.008
@@ Property / DOI: 10.1016/j.ipl.2005.11.008 / rank @@
-Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.ipl.2005.11.008
+Normal rank
@@ Property / OpenAlex ID @@
+W2081719098
@@ Property / OpenAlex ID: W2081719098 / rank @@
+Normal rank
@@ Property / cites work @@
+Ideal membership in polynomial rings over the integers
+Normal rank
@@ Property / cites work @@
+Receipt-free secret-ballot elections (extended abstract)
+Normal rank
@@ Property / cites work @@
+FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science
+Normal rank
@@ Property / cites work @@
+Verification: Theory and Practice
@@ Property / cites work: Verification: Theory and Practice / rank @@
+Normal rank
@@ Property / cites work @@
+On the security of public key protocols
@@ Property / cites work: On the security of public key protocols / rank @@
+Normal rank
@@ Property / cites work @@
+Fast Parallel Computation of Hermite and Smith Forms of Polynomial Matrices
+Normal rank
@@ Property / cites work @@
+Term Rewriting and Applications
@@ Property / cites work: Term Rewriting and Applications / rank @@
+Normal rank
@@ Property / cites work @@
+Intruder deduction for the equational theory of abelian groups with distributive encryption
+Normal rank
@@ Property / cites work @@
+Automatic recognition of tractability in inference relations
+Normal rank
@@ Property / cites work @@
+Q3818127
@@ Property / cites work: Q3818127 / rank @@
+Normal rank
@@ Property / cites work @@
+Unification in monoidal theories
@@ Property / cites work: Unification in monoidal theories / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.IPL.2005.11.008
@@ Property / DOI: 10.1016/J.IPL.2005.11.008 / rank @@
+Normal rank