Formal analysis of passive measurement inference techniques

Proceedings - IEEE INFOCOM

Volumn , Issue , 2006, Pages

  Jaiswal, Sharad ^a   Iannaccone, Gianluca ^b   Kuroset, Jim ^c   Towsley, Don ^c  

^a LUCENT TECHNOLOGIES   (United States)

^b INTEL CORPORATION   (United States)

^c University of Massachusetts Amherst   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

INFERENCE TECHNOLOGY; REORDERING; ROUTE CHANGES;

INFERENCE ENGINES; MATHEMATICAL MODELS; NETWORK ROUTING; PACKET LOSS; PROBLEM SOLVING; TIME DELAY;

PASSIVE NETWORKS;

EID: 39049086831     PISSN: 0743166X     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/INFOCOM.2006.282     Document Type: Conference Paper

References (26)

1. http://spinroot.com/spin/whatispin.html#d.
2. Verification and improvement of the sliding window protocol. Lecture Notes in Computer Science, 2619:113-127, 2003.
3. P. Benko and A. Veres. A passive method for estimating end-to-end tcp packet loss. In Proceedings of IEEE Globecom, Taipei, Nov. 2002.
4. D. Bertsekas and R. Gallagher. Data Networks. Prentice Hall, 2nd edition, 1991.
5. K. Bhargavan, D. Obradovic, and C. A. Gunter. Formal verification of standards for distance vector routing protocols. J. ACM, 49(4):538-576, 2002.
6. Y. Dong, X. Du, G. J. Holzmann, and S. A. Smolka. Fighting livelock in the gnu i-protocol: a case study in explicit-state model checking. STTT, 4(4):505-528, 2003.
7. S. Floyd. Tcp and successive fast retransits. Unpublished Note, 1995.
8. G. Holzmann. The SPIN Model Checker. Addison-Wesley, 1st edition, Jan. 2003.
9. S. Jaiswal, G. Iannaccone, C. Diot, J. Kurose, and D. Towsley. Inferring TCP connection characteristics through passive measurements (extended version). Technical Report RR03-ATL-070121, Sprint ATL, July 2003.
10. S. Jaiswal, G. Iannaccone, C. Diot, J. Kurose, and D. Towsley. Measurement and classification of out-of-sequence packets in a tier-1 ip backbone. In Proceedings of Infocom, San Francisco, 2003.
11. S. Jaiswal, G. Iannaccone, C. Diot, J. Kurose, and D. Towsley. Inferring TCP connection characteristics through passive measurements. In Proceedings of Infocom, Hong Kong, 2004.
12. S. Jaiswal, G. Iannaccone, J. Kurose, and D. Towsley. Formal verification of passive measurement techniques. Technical Report 05-XX, Computer Science Dept., UMass Amherst, http://gaia.cs.umass.edu, May 2005.
13. H. Jiang and C. Dovrolis. Passive estimation of TCP round-trip times. ACM Computer Communication Review, 32(3), July 2002.
14. S. Katti, D. Katabi, C. Blake, E. Kohler, and J. Stauss. M&M: A passive toolkit for measuring, tracking and correlating path characteristics. In Proceedings of ACM Internet Measurements Conference, Oct. 2004.
15. J. F. Kurose and K. W. Ross. Computer Networking: A Top-Down Approach Featuring the Internet. Pearson Benjamin Cummings, 2004.
16. D. Lee, D. Chen, R. Hao, R. Miller, J. Wu, and X. Yin. A formal approach for passive testing of protocol portions. In IEEE International Conference on Network Protocols, Nov. 2002.
17. D. Lee and M. Yannakkis. Principles and methods of testing finite state machines - a survey. Proceedings of the IEEE, 84, Aug. 1996.
18. R. Miller. Passive testing of networks using a CFSM specification. In Proceedings of the IEEE International Performance, Computing and Communications Conference, Feb. 1998.
19. M. Musuvathi and D. R. Engler. Model checking large network protocol implementations. In NSDI, pages 155-168, 2004.
20. M. Musuvathi, D. Y. W. Park, A. Chou, D. R. Engler, and D. L. Dill. Cmc: A pragmatic approach to model checking real code. In OSDI, 2002.
21. V. Paxson. End-to-end internet packet dynamics. IEEE/ACM Transactions on Networking, 7(3):277-292, June 1999.
22. M. Smith. Formal verification of communication protocols. In Formal Description Techniques IX: Theory, Applications, and Tools FORTE/PSTV'96: Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, and Protocol Specification, Testing, and Verification, 1996.
23. M. A. Smith and K. K. Ramakrishnan. Formal specification and verification of safety and performance of tcp selective acknowledgment. IEEE/ACM Trans. Netw., 10(2):193-207, 2002.
24. A. S. Tanenbaum. Computer Networks. Prentice-Hall, 1988.
25. B. Veal, K. Li, and D. K. Lowenthal. New methods for passive estimation of tcp round-trip times. In PAM, pages 121-134, 2005.
26. Y. Zhang, L. Breslau, V. Paxson, and S. Shenker. On the characteristics and origins of internet flow rates. In Proceedings of ACM Sigcomm, Aug. 2002.