Automating Security Analysis: Symbolic Equivalence of Constraint Systems (Q5747780): Difference between revisions

@@ Property / OpenAlex ID @@
+W1535988411
@@ Property / OpenAlex ID: W1535988411 / rank @@
+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 @@
+YAPA: A Generic Tool for Computing Intruder Knowledge
+Normal rank
@@ Property / cites work @@
+Automated verification of selected equivalences for security protocols
+Normal rank
@@ Property / cites work @@
+Automating Security Analysis: Symbolic Equivalence of Constraint Systems
+Normal rank
@@ Property / cites work @@
+Decidability of equivalence of symbolic derivations
+Normal rank
@@ Property / cites work @@
+Challenges in the Automated Verification of Security Protocols
+Normal rank
@@ Property / cites work @@
+Deciding security properties for cryptographic protocols. application to key cycles
+Normal rank
@@ Property / cites work @@
+Q2849571
@@ Property / cites work: Q2849571 / rank @@
+Normal rank
@@ Property / cites work @@
+Modal Logics for Cryptographic Processes
@@ Property / cites work: Modal Logics for Cryptographic Processes / rank @@
+Normal rank
@@ Property / cites work @@
+Q2842870
@@ Property / cites work: Q2842870 / 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 @@
+Protocol insecurity with a finite number of sessions and composed keys is NP-complete.
+Normal rank
@@ Property / cites work @@
+Q4263167
@@ Property / cites work: Q4263167 / rank @@
+Normal rank