A calculus of trustworthy ad hoc networks (Q470043): Difference between revisions

@@ Property / Mathematics Subject Classification ID @@
+M10
@@ Property / Mathematics Subject Classification ID: 68M10 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+M14
@@ Property / Mathematics Subject Classification ID: 68M14 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+Q85
@@ Property / Mathematics Subject Classification ID: 68Q85 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6368398
@@ Property / zbMATH DE Number: 6368398 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+mobile ad hoc network
@@ Property / zbMATH Keywords: mobile ad hoc network / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+trust management system
@@ Property / zbMATH Keywords: trust management system / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+trust-based routing
@@ Property / zbMATH Keywords: trust-based routing / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+process calculus
@@ Property / zbMATH Keywords: process calculus / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+non-interference
@@ Property / zbMATH Keywords: non-interference / 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.1007/s00165-011-0210-7
+Normal rank
@@ Property / OpenAlex ID @@
+W1979510503
@@ Property / OpenAlex ID: W1979510503 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q62041620
@@ Property / Wikidata QID: Q62041620 / rank @@
+Normal rank
@@ Property / cites work @@
+Noninterference for concurrent programs and thread systems
+Normal rank
@@ Property / cites work @@
+Static analysis for the \(\pi\)-calculus with applications to security
+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 @@
+Formal verification of standards for distance vector routing protocols
+Normal rank
@@ Property / cites work @@
+FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science
+Normal rank
@@ Property / cites work @@
+Controlling information release in the \(\pi\)-calculus
+Normal rank
@@ Property / cites work @@
+An operational semantics for a calculus for wireless systems
+Normal rank
@@ Property / cites work @@
+Q4798029
@@ Property / cites work: Q4798029 / rank @@
+Normal rank
@@ Property / cites work @@
+Equational Reasoning on Ad Hoc Networks
@@ Property / cites work: Equational Reasoning on Ad Hoc Networks / rank @@
+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 @@
+Q3047540
@@ Property / cites work: Q3047540 / rank @@
+Normal rank
@@ Property / cites work @@
+An observational theory for mobile ad hoc networks (full version)
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank
@@ Property / cites work @@
+A calculus of mobile processes. I
@@ Property / cites work: A calculus of mobile processes. I / rank @@
+Normal rank
@@ Property / cites work @@
+Barbed bisimulation
@@ Property / cites work: Barbed bisimulation / rank @@
+Normal rank
@@ Property / cites work @@
+A framework for security analysis of mobile wireless networks
+Normal rank
@@ Property / cites work @@
+An Axiomatic Approach to Information Flow in Programs
+Normal rank
@@ Property / cites work @@
+Probabilistic Mobility Models for Mobile and Wireless Networks
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:470043