Deciding Security for Protocols with Recursive Tests (Q5200014): Difference between revisions

@@ Property / cites work @@
+Deciding knowledge in security protocols under equational theories
+Normal rank
@@ Property / cites work @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Deciding Security for Protocols with Recursive Tests
+Normal rank
@@ Property / cites work @@
+Deciding security properties for cryptographic protocols. application to key cycles
+Normal rank
@@ Property / cites work @@
+On the Automatic Analysis of Recursive Security Protocols with XOR
+Normal rank
@@ Property / cites work @@
+STACS 2004
@@ Property / cites work: STACS 2004 / 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 @@
+CONCUR 2005 – Concurrency Theory
@@ Property / cites work: CONCUR 2005 – Concurrency Theory / rank @@
+Normal rank