Fault-oriented Test Generation for Multicast Routing Protocol Design

Authors:
Ahmed Helmy;Deborah Estrin;Sandeep K. S. Gupta
Affiliations:
-;-;-
Venue:
FORTE XI / PSTV XVIII '98 Proceedings of the FIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XI) and Protocol Specification, Testing and Verification (PSTV XVIII)
Year:
1998

Routing Information Protocol in HOL/SPIN

TPHOLs '00 Proceedings of the 13th International Conference on Theorem Proving in Higher Order Logics
The STRESS method for boundary-point performance analysis of end-to-end multicast timer-suppression mechanisms

IEEE/ACM Transactions on Networking (TON)
Modeling vulnerabilities of ad hoc routing protocols

Proceedings of the 1st ACM workshop on Security of ad hoc and sensor networks
A framework for proving the security of data transmission protocols in sensor network

PAISI'07 Proceedings of the 2007 Pacific Asia conference on Intelligence and security informatics
A model-based approach for robustness testing

TestCom'05 Proceedings of the 17th IFIP TC6/WG 6.1 international conference on Testing of Communicating Systems

Hi-index	0.00