Satisfiability of general intruder constraints with and without a set constructor (Q507349): Difference between revisions

@@ Property / author @@
-Michaël Rusinowitch
@@ Property / author: Michaël Rusinowitch / rank @@
-Normal rank
@@ Property / author @@
+Michaël Rusinowitch
@@ Property / author: Michaël Rusinowitch / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W1876319183
@@ Property / OpenAlex ID: W1876319183 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4536615
@@ Property / cites work: Q4536615 / rank @@
+Normal rank
@@ Property / cites work @@
+Bounding Messages for Free in Security Protocols
@@ Property / cites work: Bounding Messages for Free in Security Protocols / rank @@
+Normal rank
@@ Property / cites work @@
+Tools and algorithms for the construction and analysis of systems. 20th international conference, TACAS 2014, held as part of the European joint conferences on theory and practice of software, ETAPS 2014, Grenoble, France, April 5--13, 2014. Proceedings
+Normal rank
@@ Property / cites work @@
+Satisfiability of general intruder constraints with and without a set constructor
+Normal rank
@@ Property / cites work @@
+Term Rewriting and All That
@@ Property / cites work: Term Rewriting and All That / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic Intruder Deductions
@@ Property / cites work: Algebraic Intruder Deductions / rank @@
+Normal rank
@@ Property / cites work @@
+A dexptime-Complete Dolev-Yao Theory with Distributive Encryption
+Normal rank
@@ Property / cites work @@
+Associative-Commutative Deducibility Constraints
@@ Property / cites work: Associative-Commutative Deducibility Constraints / rank @@
+Normal rank
@@ Property / cites work @@
+Automata, Languages and Programming
@@ Property / cites work: Automata, Languages and Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Symbolic protocol analysis in the union of disjoint intruder theories: combining decision procedures
+Normal rank
@@ Property / cites work @@
+An NP decision procedure for protocol insecurity with XOR
+Normal rank
@@ Property / cites work @@
+Towards an Automatic Analysis of Web Service Security
+Normal rank
@@ Property / cites work @@
+Complexity results for security protocols with Diffie-Hellman exponentiation and commuting public key encryption
+Normal rank
@@ Property / cites work @@
+Foundations of Software Science and Computation Structures
+Normal rank
@@ Property / cites work @@
+Decidability and combination results for two notions of knowledge in security protocols
+Normal rank
@@ Property / cites work @@
+Symbolic protocol analysis for monoidal equational theories
+Normal rank
@@ Property / cites work @@
+Q2819403
@@ Property / cites work: Q2819403 / rank @@
+Normal rank
@@ Property / cites work @@
+Reducing protocol analysis with XOR to the XOR-free case in the Horn theory based approach
+Normal rank
@@ Property / cites work @@
+Efficient General Unification for XOR with Homomorphism
+Normal rank
@@ Property / cites work @@
+Information and Communications Security
@@ Property / cites work: Information and Communications Security / rank @@
+Normal rank
@@ Property / cites work @@
+Q2848039
@@ Property / cites work: Q2848039 / rank @@
+Normal rank
@@ Property / cites work @@
+Lazy Mobile Intruders
@@ Property / cites work: Lazy Mobile Intruders / 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 @@
+The CL-Atse Protocol Analyser
@@ Property / cites work: The CL-Atse Protocol Analyser / rank @@
+Normal rank