SPEC: An Equivalence Checker for Security Protocols (Q3179281): Difference between revisions

@@ Property / cites work @@
+A calculus for cryptographic protocols: The spi calculus
+Normal rank
@@ Property / cites work @@
+Automated verification of selected equivalences for security protocols
+Normal rank
@@ Property / cites work @@
+CONCUR 2004 - Concurrency Theory
@@ Property / cites work: CONCUR 2004 - Concurrency Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Automated Verification of Equivalence Properties of Cryptographic Protocols
+Normal rank
@@ Property / cites work @@
+Deciding security properties for cryptographic protocols. application to key cycles
+Normal rank
@@ Property / cites work @@
+A calculus of mobile processes. II
@@ Property / cites work: A calculus of mobile processes. II / rank @@
+Normal rank
@@ Property / cites work @@
+Q4018066
@@ Property / cites work: Q4018066 / rank @@
+Normal rank
@@ Property / cites work @@
+A theory of bisimulation for the \(\pi\)-calculus
@@ Property / cites work: A theory of bisimulation for the \(\pi\)-calculus / rank @@
+Normal rank
@@ Property / cites work @@
+On the bisimulation proof method
@@ Property / cites work: On the bisimulation proof method / rank @@
+Normal rank
@@ Property / cites work @@
+Q2734510
@@ Property / cites work: Q2734510 / rank @@
+Normal rank
@@ Property / cites work @@
+A Trace Based Bisimulation for the Spi Calculus: An Extended Abstract
+Normal rank