A reverse engineering tool for extracting protocols of networked applications

Proceedings - Working Conference on Reverse Engineering, WCRE

Volumn , Issue , 2007, Pages 229-238

  Shevertalov, Maxim ^a   Mancoridis, Spiros ^a  

^a Drexel University   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SOFTWARE MAINTENANCE; DYNAMIC ANALYSIS; ENGINEERING; HEALTH RISKS; INTERNET PROTOCOLS; REENGINEERING; REVERSE ENGINEERING; TECHNOLOGY;

NETWORKED APPLICATIONS; PROTOCOL USAGE; WORKING CONFERENCE ON REVERSE ENGINEERING;

COMPUTER NETWORKS;

EID: 51149097908     PISSN: 10951350     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/WCRE.2007.6     Document Type: Conference Paper

References (24)

1. Introduction to algorithms. MIT Press, Cambridge, MA, USA, 2001.
2. A. Bhattacharjee, A. Seby, G. Sen, and S. Dhodapkar. Clas: a reverse engineering tool. In Software Testing, Reliability and Quality Assurance. IEEE, December 1994.
3. S. Boyd and H. Ural. On the complexity of generating optimal test sequences. Software Engineering, IEEE Transactions on, 17(9):976-978, September 1991.
4. S. Chanson and J. Zhu. A unified approach to protocol test sequence generation. In Computer and Communications Societies, Networking: Foundation for the Future, volume 1, pages 106-114, 1993.
5. D. Cooper, B. Khoo, B. R. von Konsky, and M. Robey. Java implementation verification using reverse engineering. In ACM International Conference Proceeding Series, volume 56, pages 203-211. ACM, 2004.
6. B. Curtin. Internationalization of the file transfer protocol. ftp://ftp.rfc-editor.org/in-notes/rfc2640.txt.
7. W. Day and H. Edelsbrunner. Efficient algorithms for agglomerative hierarchical clustering methods. Journal of Classification, 1(7):7-24, 1984.
8. K. El-Fakih, N. Yevtushenko, and G. Bochmann. Fsm-based incremental conformance testing methods. Transactions on Software Engineering, 30(7):425-436, 2004.
9. Fetch. Fetch - the mac os x ftp/sftp client. http://www.fetchsoftworks. com/.
10. J. S. Foundation. Xmpp.org. http://www.xmpp.org/.
11. G. Gannod and S. Murthy. Verification of recovered software architectures. In 11th IEEE International Workshop on Program Comprehension, pages 258-265, May 2003.
12. G. V. Ghedamsi, A. Bochmann. Test result analysis and diagnostics for finite state machines. In Distributed Computing Systems, pages 244-251, June 1992.
13. Graphviz. Graphviz. http://www.graphviz.org/.
14. C. Guides. Ruby programming language. http://developer.apple.com/ documentation/Cocoa/.
15. M. Horowitz and S. Lunt. Ftp security extensions. ftp://ftp.rfc-editor. org/in-notes/rfc2228.txt.
16. IEEE. The OSI reference model. IEEE, December 1983.
17. JWS. Tcpdump public repository. http://www.tcpdump.org/.
18. D. V. Kocher. Cyberduck- ftp for mac os x. http://cyberduck.ch/.
19. D. Lee and M. Yannakakis. Testing finite-state machines: state identification andverification. Computers, 43(3):306-320, March 1994.
20. D. Lee and M. Yannakakis. Principles and methods of testing finite state machines-a survey. Proceedings of the IEEE, 84(8):1090-1123, August 1996.
21. G. C. Murphy, D. Notkin, and K. Sullivan. Software reflexion models: bridging the gap between source and high-level models. SIGSOFT Softw. Eng. Notes, 20(4):18-28, 1995.
22. J. Postel and J. Reynolds. File transfer protocol (ftp). ftp://ftp.rfc-editor.org/in-notes/std/std9.txt.
23. D. Sidhu and T. Leung. Formal methods for protocol testing: a detailed study. Transactions on Software Engineering, 15(4):413-426, April 1989.
24. R. V. I. Team. Ruby programming language. http://www.ruby-lang.org/en/.