共 50 条
- [44] Analysis of a reputation system for Mobile Ad-Hoc Networks with liars [J]. Proceedings of the Third International Symposium on Modeling and Optimization in Mobile, Ad Hoc, and Wireless Networks, 2005, : 41 - 46
- [46] Probabilistic Key Pre-distribution for Heterogeneous Mobile Ad hoc Networks Using Subjective Logic [J]. 2015 IEEE 29TH INTERNATIONAL CONFERENCE ON ADVANCED INFORMATION NETWORKING AND APPLICATIONS (IEEE AINA 2015), 2015, : 185 - 192
- [47] Mitigating routing misbehaviors using subjective trust model in mobile ad hoc networks [J]. ICCIMA 2007: INTERNATIONAL CONFERENCE ON COMPUTATIONAL INTELLIGENCE AND MULTIMEDIA APPLICATIONS, VOL IV, PROCEEDINGS, 2007, : 418 - 423
- [49] Model checking mobile ad hoc networks [J]. FORMAL METHODS IN SYSTEM DESIGN, 2016, 49 (03) : 159 - 189
- [50] Model checking mobile ad hoc networks [J]. Formal Methods in System Design, 2016, 49 : 159 - 189