Verification of Correspondence Assertions in a Calculus for Mobile Ad Hoc Networks (Q5179206): Difference between revisions

@@ Property / cites work @@
+Mobile values, new names, and secure communication
+Normal rank
@@ Property / cites work @@
+A Calculus for Mobile Ad Hoc Networks
@@ Property / cites work: A Calculus for Mobile Ad Hoc Networks / rank @@
+Normal rank
@@ Property / cites work @@
+A calculus for cryptographic protocols: The spi calculus
+Normal rank
@@ Property / cites work @@
+Q2906944
@@ Property / cites work: Q2906944 / rank @@
+Normal rank
@@ Property / cites work @@
+A framework for security analysis of mobile wireless networks
+Normal rank
@@ Property / cites work @@
+A Distributed Pi-Calculus
@@ Property / cites work: A Distributed Pi-Calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Q4418581
@@ Property / cites work: Q4418581 / rank @@
+Normal rank
@@ Property / cites work @@
+Typing correspondence assertions for communication protocols
+Normal rank
@@ Property / cites work @@
+Type-Based Verification of Correspondence Assertions for Communication Protocols
+Normal rank
@@ Property / cites work @@
+Programming Languages and Systems
@@ Property / cites work: Programming Languages and Systems / rank @@
+Normal rank
@@ Property / cites work @@
+An Observational Theory for Mobile Ad Hoc Networks
+Normal rank
@@ Property / cites work @@
+Q4934334
@@ Property / cites work: Q4934334 / rank @@
+Normal rank
@@ Property / cites work @@
+A Prospectus for Mobile Broadcasting Systems
@@ Property / cites work: A Prospectus for Mobile Broadcasting Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q2851331
@@ Property / cites work: Q2851331 / rank @@
+Normal rank
@@ Property / cites work @@
+A process calculus for mobile ad hoc networks
@@ Property / cites work: A process calculus for mobile ad hoc networks / rank @@
+Normal rank
@@ Property / cites work @@
+Q2734510
@@ Property / cites work: Q2734510 / rank @@
+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