What packets may come: Automata for network monitoring

SIGPLAN Notices (ACM Special Interest Group on Programming Languages)

Volumn 36, Issue 3, 2001, Pages 206-219

  Bhargavan, Karthikeyan ^a   Chandra, Satish ^b   McCann, Peter J ^b   Gunter, Carl A ^a  

^a UNIVERSITY OF PENNSYLVANIA   (United States)

^b LUCENT TECHNOLOGIES   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 17644399503     PISSN: 03621340     EISSN: None     Source Type: Journal    
DOI: 10.1145/373243.360221     Document Type: Article

References (15)

1. G. Berry and G. Gonthier. The ESTEREL synchronous programming language: Design, semantics, implementation. Science of Computer Programming, 19(2):87-152, November 1992.
2. Karthikeyan Bhargavan, Carl A. Gunter, Moonjoo Kim, Insup Lee, Davor Obradovic, Oleg Sokolsky, and Mahesh Viswanathan. Verisim: Formal analysis of network simulations, August 2000. To appear in: International Symposium on Software Testing and Analysis.
3. Karthikeyan Bhargavan, Carl A. Gunter, and Davor Obradovic. A taxonomy of logical network analysis techniques. Technical Report MS-CIS-00-14, University of Pennsylvania, 2000.
4. Patrice Godefroid. Model checking for programming languages using VeriSoft. In Proceedings of the 24th ACM Symposium on Principles of Programming Languages, pages 174-186, January 1997.
5. Gerard J. Holzmann. Design and Validation of Computer Protocols. Prentice Hall, 1991.
6. L. J. Jagadeesan, A. Porter, C. Puchol, J. C. Ramming, and L.G.Votta. Specification-based testing of reactive software: Tools and experiments. In Proceedings of the International Conference on Software Engineering, May 1997.
7. D. Lee, K. Sabnani, A. Netravali, B. Sugla, and A. John. Passive testing and its applications to network management. In Proceedings of the International Conference on Network Protocols, 1997.
8. I. Lee, S. Kannan, M. Kim, O. Sokolsky, and M. Viswanathan. Runtime assurance based on formal specifications. In Proceedings International Conference on Parallel and Distributed Processing Techniques and Applications, 1999.
9. Nancy A. Lynch and Mark R. Tuttle. An introduction to input/output automata. CWI Quaterly, 2(3):219-246, 1989.
10. T.O. O'Malley, D.J. Richardson, and L.K. Dillon. Efficient specification-based test oracles. In Second California Software Symposium (CSS'96), April 1996.
11. V. Paxson. Automated packet trace analysis of TCP implementations. Computer Communication Review, 27(4), October 1997.
12. V. Paxson. Bro: A system for detecting network intruders in real-time. Computer Networks, 31(23-24):2435-2463, December 1999.
13. V. Paxson. End-to-end internet packet dynamics. IEEE/ACM Transactions on Networking, 7(3):277-292, June 1999.
14. M.J. Ranum, K. Landfield, M. Stolarchuk, M. Sienkiewicz, A. Lambeth, and E. Wall. Implementing a generalized tool for network monitoring. In Proceedings of the Eleventh Systems Administration Conference (LISA XI), pages 1-8, 1997.
15. W. Richard Stevens. TCP/IP Illustrated, Volume 1: The Protocols. Addison-Wesley, Reading, Massachusetts, 1994.