A framework for security analysis of mobile wireless networks (Q860908): Difference between revisions

@@ Property / Wikidata QID @@
+Q115036555
@@ Property / Wikidata QID: Q115036555 / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Succinct
@@ Property / describes a project that uses: Succinct / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+HOL/SPIN
@@ Property / describes a project that uses: HOL/SPIN / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.tcs.2006.08.036
+Normal rank
@@ Property / OpenAlex ID @@
+W2135892629
@@ Property / OpenAlex ID: W2135892629 / rank @@
+Normal rank
@@ Property / cites work @@
+Mobile values, new names, and secure communication
+Normal rank
@@ Property / cites work @@
+A calculus for cryptographic protocols: The spi calculus
+Normal rank
@@ Property / cites work @@
+Global Computing. Programming Environments, Languages, Security, and Analysis of Systems
+Normal rank
@@ Property / cites work @@
+Formal verification of standards for distance vector routing protocols
+Normal rank
@@ Property / cites work @@
+Mobile ambients
@@ Property / cites work: Mobile ambients / rank @@
+Normal rank
@@ Property / cites work @@
+A framework for security analysis of mobile wireless networks
+Normal rank
@@ Property / cites work @@
+Q4255591
@@ Property / cites work: Q4255591 / rank @@
+Normal rank
@@ Property / cites work @@
+Tools and Algorithms for the Construction and Analysis of Systems
+Normal rank
@@ Property / cites work @@
+Q4414732
@@ Property / cites work: Q4414732 / rank @@
+Normal rank
@@ Property / cites work @@
+Static Analysis
@@ Property / cites work: Static Analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Formal Techniques for Networked and Distributed Systems – FORTE 2004
+Normal rank
@@ Property / cites work @@
+Q4426382
@@ Property / cites work: Q4426382 / rank @@
+Normal rank