Software integrity protection using timed executable agents

Proceedings of the 2006 ACM Symposium on Information, Computer and Communications Security, ASIACCS '06

Volumn 2006, Issue , 2006, Pages 189-200

  Garay, Juan A ^a   Huelsbergen, Lorenz ^a  

^a LUCENT TECHNOLOGIES   (United States)

Author keywords

Attestation; Data integrity; Intrusion detection; Mobile code and agent security; Program analysis; Software based

Indexed keywords

COMPUTATIONAL COMPLEXITY; COMPUTER PROGRAMMING LANGUAGES; DIGITAL LIBRARIES; PROBLEM SOLVING; SECURITY OF DATA; VIRTUAL REALITY;

AGENT SECURITY; DATA INTEGRITY; MOBILE CODES; PROGRAM ANALYSIS;

SOFTWARE AGENTS;

EID: 34047170729     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1128817.1128847     Document Type: Conference Paper

References (20)

1. A. V. Aho, R. Sethi, and J. D. Ullman. Compilers: Principles, Techniques, and Tools. Addison-Wesley, 1986.
2. B. Barak, O. Goldreich, R. Iinpagliazzo, S. Rudich, A. Shai, S. Vadhan, and K. Yang. On the (Im)possibility of Obfuscating Programs. In Proc. CRYPTO '02, LNCS(2139), pp. 1-18, Springer-Vorlag, August 2001.
3. D. Boneh and M. Naor. Timed commitments (extended abstract). In Proc. CRYPTO '00, LNCS(1880), pp. 236-254., Springer-Verlag, August 2000.
4. D. Chaum. Blind signatures for untraceable payments. In Proc. CRYPTO '82, pp. 199-203. Plenum Press, New York and London, 1983, August 1982.
5. C. Collberg and C. Thomborson. Watermarking, Tamper-Proofing, and Obfuscation-Tools for Software Protection. IEEE Trans. on Software Engineering, Vol. 28, No. 8, Aug. 2002.
6. C. Collberg, C. Thomborson and D. Low. A Taxonomy of Obfuscating Transformations. Technical Report #148, Dept. of Computer Science, University of Auckland, 1997.
7. K. D. Cooper, T. J. Harvey and T. Waterman. Building a Control-Flow Graph from Scheduled. Assembly Code. Technical Report #TR02-399, Rice University, June 2002.
8. C. Dwork and M. Naor. Pricing via processing or combatting junk mail. In Proc. CRYPTO '92, LNCS(740), pp. 139-147, Springer-Verlag, August 1992.
9. O. Esparza, M. Soriano, J. Muñoz and J. Forné. Limiting the execution time in a host: a way of protecting mobile agents. In IEEE Sarnoff Symposium on "Advances in Wired and Wireless Communications," 2003.
10. J. E. Hopcroft and J. D. Ullman. Int. to Automata Theory, Languages, and Computation. Addison-Wesley, 1979.
11. R. Kennell and L. Jamieson. Establishing the genuinity of remote computer systems. In 12th USENIX Security Symposium, pp. 295-310, 2003.
12. S. S. Muchnick and N. D. Jones. Program Flow Analysis: Theory and Applications Prentice-Hall, 1981.
13. R. Rivest, A. Shamir, and D. Wagner. Time-lock puzzles and timed-release crypto. MIT/LCS/TR-684, 1996.
14. T. Sanders and C. Tschudin. Protecting mobile agents against malicious hosts. In Mobile Agents and Security, LNCS(1419), Springer-Verlag, 1998.
15. U. Shankar, M. Chew and J.D. Tygar. Side effects are not sufficient to authenticate software. In In 13th USNIX Security Symposium, pp. 89-101, 2004.
16. A. Seshadri, A. Perrig, L. van. Doom and P. Khosla, SWATT: SoftWare-Based ATTestation for Embedded Devices. In IEEE Symp. on Security and Privacy, 2004.
17. S. Smith, R. Perez, S. Weingard, and V. Austel. Validating a high-performance, programmable secure coprocessor. In 22nd National Information Systems Security Conference. October 1999.
18. Trusted Computing Group (TCG). https://www.trustedcomputinggroup.org/, 2003.
19. D. Wallach. A New Approach to Mobile Code Security. Ph.D. Dissertation, Princeton University, January 1999.
20. M. Wolfe. Optimizing Supercompilers for Supercomputers. MIT Press, 1989.