Securing mobile agents control flow using opaque predicates

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3683 LNAI, Issue , 2005, Pages 1065-1071

  Majumdar, Anirban ^a   Thomborson, Clark ^a  

^a UNIVERSITY OF AUCKLAND   (New Zealand)

Author keywords

[No Author keywords available]

Indexed keywords

BANDWIDTH; CODES (SYMBOLS); COMPUTER SOFTWARE; ELECTRONIC COMMERCE; FLOW CONTROL;

COMMERCIAL SOFTWARE; INTERMITTENTLY CONNECTED NETWORKS; MOBILE AGENT OBFUSCATION; MOBILE AGENTS;

INTELLIGENT AGENTS;

EID: 33745297565     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11553939_149     Document Type: Conference Paper

References (10)

1. Collberg, C., Thomborson, C., and Low, D.: Manufacturing Cheap, Resilient, and Stealthy Opaque Constructs. In Proceedings of 1998 ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL'98). 1998.
2. Sander, T., and Tschudin, C.F.: Protecting mobile agents against malicious hosts. In Vigna G., ed.: Mobile Agents and Security. Volume 1419 of Lecture Notes in Computer Science. Springer-Verlag. 1998
3. Hohl, F.: Time limited blackbox security: Protecting mobile agents from malicious hosts. In Vigna G., ed.: Mobile Agents and Security. Volume 1419 of Lecture Notes in Computer Science. Springer-Verlag. 1998
4. Sakabe, Y., Masakazu, S., and Miyaji, A.: Java obfuscation with a theoretical basis for building secure mobile agents:. In Lioy A., Mazzocchi D. eds.: Communications and Multimedia Security (CMS 2003). Volume 2828 of Lecture Notes in Computer Science. Springer-Verlag. 2003.
5. Wang, C., Hill, J., Knight, J.C., and Davidson, J.W.: Protection of software-based survivability mechanisms. In Proceedings of the 2001 conference on Dependable Systems and Networks. IEEE Computer Society. 2001.
6. Horwitz, S.: Precise Flow-insensitive may-alias in NP-hard. ACM Transactions on Programming Languages and Systems (TOPLAS), Vol. 19 No. 1, 1997.
7. Hind, M., Burke, M., Carini, P., and Choi, J.D.: Interprocedural pointer alias analysis. ACM Transactions on Programming Languages and Systems (TOPLAS), Vol. 21 No. 4, 1999.
8. Rugina, R. and Rinard, M.: Pointer analysis for multithreaded programs. In Proceedings of 1999 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI '99). Atlanta, GA, USA. 1999.
9. Salcianu, A. and Rinard, M.: Pointer and escape analysis for multithreaded programs. In Proceedings of the 2001 ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPOPP '01), Snowbird, UT, USA. 2001.
10. Whaley, J. and Rinard, M.: Compositional pointer and escape analysis for Java programs. Proceedings of the 1999 ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages & Applications (OOPSLA '99), Denver, CO, USA. 1999.