Decidability and combination results for two notions of knowledge in security protocols (Q437043): Difference between revisions

@@ Property / DOI @@
-.1007/s10817-010-9208-8
@@ Property / DOI: 10.1007/s10817-010-9208-8 / rank @@
-Normal rank
@@ Property / Mathematics Subject Classification ID @@
+P25
@@ Property / Mathematics Subject Classification ID: 68P25 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+B70
@@ Property / Mathematics Subject Classification ID: 03B70 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+M12
@@ Property / Mathematics Subject Classification ID: 68M12 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+T15
@@ Property / Mathematics Subject Classification ID: 68T15 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6057744
@@ Property / zbMATH DE Number: 6057744 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+formal methods
@@ Property / zbMATH Keywords: formal methods / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+security protocols
@@ Property / zbMATH Keywords: security protocols / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+equational theories
@@ Property / zbMATH Keywords: equational theories / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s10817-010-9208-8
+Normal rank
@@ Property / OpenAlex ID @@
+W2036714652
@@ Property / OpenAlex ID: W2036714652 / rank @@
+Normal rank
@@ Property / cites work @@
+Foundations of Software Science and Computation Structures
+Normal rank
@@ Property / cites work @@
+Deciding knowledge in security protocols under equational theories
+Normal rank
@@ Property / cites work @@
+Mobile values, new names, and secure communication
+Normal rank
@@ Property / cites work @@
+Unification in commutative theories
@@ Property / cites work: Unification in commutative theories / rank @@
+Normal rank
@@ Property / cites work @@
+Unification in commutative theories, Hilbert's basis theorem, and Gröbner bases
+Normal rank
@@ Property / cites work @@
+Combination problems for commutative/monoidal theories or how algebra can help in equational unification
+Normal rank
@@ Property / cites work @@
+Unification in the union of disjoint equational theories: Combining decision procedures
+Normal rank
@@ Property / cites work @@
+Combination of constraint solvers for free and quasi-free structures
+Normal rank
@@ Property / cites work @@
+Deciding the word problem in the union of equational theories.
+Normal rank
@@ Property / cites work @@
+Automata, Languages and Programming
@@ Property / cites work: Automata, Languages and Programming / rank @@
+Normal rank
@@ Property / cites work @@
+FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science
+Normal rank
@@ Property / cites work @@
+An NP decision procedure for protocol insecurity with XOR
+Normal rank
@@ Property / cites work @@
+Automata, Languages and Programming
@@ Property / cites work: Automata, Languages and Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Hierarchical Combination of Intruder Theories
@@ Property / cites work: Hierarchical Combination of Intruder Theories / rank @@
+Normal rank
@@ Property / cites work @@
+Hierarchical combination of intruder theories
@@ Property / cites work: Hierarchical combination of intruder theories / rank @@
+Normal rank
@@ Property / cites work @@
+A simple presentation of a group with unsolvable word problem
+Normal rank
@@ Property / cites work @@
+Verification: Theory and Practice
@@ Property / cites work: Verification: Theory and Practice / rank @@
+Normal rank
@@ Property / cites work @@
+Easy intruder deduction problems with homomorphisms
+Normal rank
@@ Property / cites work @@
+Symbolic protocol analysis for monoidal equational theories
+Normal rank
@@ Property / cites work @@
+Q4385532
@@ Property / cites work: Q4385532 / rank @@
+Normal rank
@@ Property / cites work @@
+Programming Languages and Systems
@@ Property / cites work: Programming Languages and Systems / rank @@
+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 @@
+Protocol insecurity with a finite number of sessions and composed keys is NP-complete.
+Normal rank
@@ Property / cites work @@
+Unification in a combination of arbitrary disjoint equational theories
+Normal rank
@@ Property / cites work @@
+Q3818127
@@ Property / cites work: Q3818127 / rank @@
+Normal rank
@@ Property / DOI @@
+.1007/S10817-010-9208-8
@@ Property / DOI: 10.1007/S10817-010-9208-8 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:437043