Tree Automata for Detecting Attacks on Protocols with Algebraic Cryptographic Primitives (Q5179050): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.entcs.2009.05.030
+Normal rank
@@ Property / OpenAlex ID @@
+W2076527924
@@ Property / OpenAlex ID: W2076527924 / rank @@
+Normal rank
@@ Property / cites work @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Automated verification of selected equivalences for security protocols
+Normal rank
@@ Property / cites work @@
+Handling Left-Quadratic Rules When Completing Tree Automata
+Normal rank
@@ Property / cites work @@
+Handling Algebraic Properties in Automatic Analysis of Security Protocols
+Normal rank
@@ Property / cites work @@
+Q4797389
@@ Property / cites work: Q4797389 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4417934
@@ Property / cites work: Q4417934 / rank @@
+Normal rank
@@ Property / cites work @@
+Automatic Analysis of the Security of XOR-Based Key Management Schemes
+Normal rank
@@ Property / cites work @@
+Comparing State Spaces in Automatic Security Protocol Analysis
+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 @@
+Reachability analysis over term rewriting systems
@@ Property / cites work: Reachability analysis over term rewriting systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q2723425
@@ Property / cites work: Q2723425 / rank @@
+Normal rank
@@ Property / cites work @@
+The NRL Protocol Analyzer: An Overview
@@ Property / cites work: The NRL Protocol Analyzer: An Overview / rank @@
+Normal rank
@@ Property / cites work @@
+Abstracting cryptographic protocols with tree automata.
+Normal rank
@@ Property / cites work @@
+The CL-Atse Protocol Analyser
@@ Property / cites work: The CL-Atse Protocol Analyser / rank @@
+Normal rank