Modeling vulnerabilities of ad hoc routing protocols
Proceedings of the 1st ACM workshop on Security of ad hoc and sensor networks
CASCON '04 Proceedings of the 2004 conference of the Centre for Advanced Studies on Collaborative research
Design and verification of systems with exogenous coordination using Vereofy
ISoLA'10 Proceedings of the 4th international conference on Leveraging applications of formal methods, verification, and validation - Volume Part II
Ad hoc routing protocol verification through broadcast abstraction
FORTE'05 Proceedings of the 25th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
Nodes self-similarity to test wireless ad hoc routing protocols
TestCom'07/FATES'07 Proceedings of the 19th IFIP TC6/WG6.1 international conference, and 7th international conference on Testing of Software and Communicating Systems
Verification of OSPF vulnerabilities by colored Petri net
Proceedings of the 6th International Conference on Security of Information and Networks
| Hi-index | 0.00 |