Protocol Security and Algebraic Properties: Decision Results for a Bounded Number of Sessions (Q3636823): Difference between revisions

@@ 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/978-3-642-02348-4_10
+Normal rank
@@ Property / OpenAlex ID @@
+W1562259153
@@ Property / OpenAlex ID: W1562259153 / rank @@
+Normal rank
@@ Property / cites work @@
+Associative-Commutative Deducibility Constraints
@@ Property / cites work: Associative-Commutative Deducibility Constraints / rank @@
+Normal rank
@@ Property / cites work @@
+Deducibility Constraints, Equational Theory and Electronic Money
+Normal rank
@@ Property / cites work @@
+An NP decision procedure for protocol insecurity with XOR
+Normal rank
@@ Property / cites work @@
+FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science
+Normal rank
@@ Property / cites work @@
+Hierarchical Combination of Intruder Theories
@@ Property / cites work: Hierarchical Combination of Intruder Theories / rank @@
+Normal rank
@@ Property / cites work @@
+Term Rewriting and Applications
@@ Property / cites work: Term Rewriting and Applications / rank @@
+Normal rank
@@ Property / cites work @@
+An undecidability result for AGh
@@ Property / cites work: An undecidability result for AGh / rank @@
+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 @@
+Effectively Checking the Finite Variant Property
@@ Property / cites work: Effectively Checking the Finite Variant Property / rank @@
+Normal rank
@@ Property / cites work @@
+Protocol insecurity with a finite number of sessions and composed keys is NP-complete.
+Normal rank
@@ Property / cites work @@
+Programming Languages and Systems
@@ Property / cites work: Programming Languages and Systems / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:3636823