Automated verification of selected equivalences for security protocols (Q2474047): Difference between revisions

@@ Property / cites work @@
+Secrecy by typing in security protocols
@@ Property / cites work: Secrecy by typing in security protocols / rank @@
+Normal rank
@@ Property / cites work @@
+Analyzing security protocols with secrecy types and logic programs
+Normal rank
@@ Property / cites work @@
+Programming Languages and Systems
@@ Property / cites work: Programming Languages and Systems / 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 @@
+Q4230922
@@ Property / cites work: Q4230922 / rank @@
+Normal rank
@@ Property / cites work @@
+A calculus for cryptographic protocols: The spi calculus
+Normal rank
@@ Property / cites work @@
+Just fast keying
@@ Property / cites work: Just fast keying / rank @@
+Normal rank
@@ Property / cites work @@
+Deciding the word problem in the union of equational theories.
+Normal rank
@@ Property / cites work @@
+Q4411970
@@ Property / cites work: Q4411970 / rank @@
+Normal rank
@@ Property / cites work @@
+Security protocols: from linear to classical logic by abstract interpretation
+Normal rank
@@ Property / cites work @@
+Automated verification of selected equivalences for security protocols
+Normal rank
@@ Property / cites work @@
+Static analysis for the \(\pi\)-calculus with applications to security
+Normal rank
@@ Property / cites work @@
+Proof Techniques for Cryptographic Processes
@@ Property / cites work: Proof Techniques for Cryptographic Processes / rank @@
+Normal rank
@@ Property / cites work @@
+CONCUR 2004 - Concurrency Theory
@@ Property / cites work: CONCUR 2004 - Concurrency Theory / rank @@
+Normal rank
@@ Property / cites work @@
+On Bisimulations for the Spi Calculus*
@@ Property / cites work: On Bisimulations for the Spi Calculus* / rank @@
+Normal rank
@@ Property / cites work @@
+Q2849571
@@ Property / cites work: Q2849571 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2751361
@@ Property / cites work: Q2751361 / rank @@
+Normal rank
@@ Property / cites work @@
+Logic for Programming, Artificial Intelligence, and Reasoning
+Normal rank
@@ Property / cites work @@
+Q4493893
@@ Property / cites work: Q4493893 / rank @@
+Normal rank
@@ Property / cites work @@
+Abstracting cryptographic protocols with tree automata.
+Normal rank
@@ Property / cites work @@
+Information flow inference for ML
@@ Property / cites work: Information flow inference for ML / rank @@
+Normal rank
@@ Property / cites work @@
+Foundations of Software Science and Computation Structures
+Normal rank