Protecting agents from malicious hosts using TPM

International Journal of Computer Science and Applications

Volumn 6, Issue 5, 2009, Pages 30-58

  Muñoz, Antonio ^a   Maña, Antonio ^a   Serrano, Daniel ^a  

^a UNIVERSITY OF MÁLAGA   (Spain)

Author keywords

Agent Protection; Hardware Protection; TPM

Indexed keywords

EID: 77953525702     PISSN: 09729038     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (49)

1. Alechina, N., Alechina, R., Habner, J., Jago, M., Logan, B., "Belief revision for AgentS-peak agents". the Proc Of Autonomous Agents and Multi Agents Systems 2006. Hakodate, Japan. ISBN:1-59593-303-4, p1288 - 1290.
2. "AVISPA Project". Online available at http://www.avispa-project.org. the AVISPA project homepage.
3. Bennet S. Yee,. "A Sanctuary for Mobile Agents". Secure Internet Programming 1999.
4. Brooks, R.R. "Mobile code paradigms and security issues". Internet Computing, IEEE. Vol. 8, Issue 3. 2004 pp:54-59.
5. Chess, D., Grosof, B., Harrison, C., Levine, D., Parris, C., and Tsudik, G. "Itinerant Agents for Mobile Computing". IEEE Personal Communications, October, vol.2, no.5, 1995, pp 34-49.
6. Clements, P., Papaioannou, T., Edwards, J., "Aglets: Enabling the Virtual Enterprise". the Proc. Of Managing Enterprises Stakeholders, Engineering, Logistics and Achievement (ME-SELA'97) ISBN 1 86058 066 1, p425.
7. Coffey, T., Dojen, R. and Flanagan, T., "On Di_erent Approaches to Establish the Se-curity of Cryptographic Protocols", Proceedings of SAM'03 (Conference on Security and Management), Col. II, Las Vegas, USA, 23-26 June 2003, Pages 637-643, ISBN1-932415-18-1. Ed. H.R.Arabnia and Y. Mun.
8. Collberg, C., Thomborson, C. "Watermarking, Tamper-Proo_ng, and Obfuscation - Tools for Software Protection". University of Auckland Technical Report 170. 2000. "Cougaar project". Online available at http://cougaar.org/.
9. Dolev, D., Yao, A. "On the security of public key protocols". proceedings of the IEEE 22nd Annual Symposium on Foundations of Computer Science, pp 350-357. 1981.
10. th European Symposium on Research in Computer Security (ESORICS '96), September 1996, pp 118-130.
11. FIPA: Fo"undation for Intelligent Physical Agents". Available on line at: http://www.fipa.org/.
12. General Magic, Inc. "The Telescript Language Reference", online available at http://www.genmagic.com-Telescript.
13. Gosling, J., Joy, B., and Steele, G. "The Java Language Speci_cation". Addison-Wesley, 1996.
14. Gray, R. "Agent Tcl: A Flexible and Secure Mobile-Agent System". Proceedings of the Fourth Annual Tcl/Tk workshop (TCL 96), July, pp 9-23, 1996.
15. Gunter C. A., Homeier P., Nettles S. "Infrastructure for Proof-Referencing Code". Proceedings, Workshop on Foundations of Secure Mobile Code, March 1997.
16. Hachez, G. "A Compar-ative Study of Software Protection Tools Suited for E-Commerce with Contributions to Software Watermarking and Smart Cards". PhD Thesis. Universite Catholique de Louvain. 2003.http://www.dice.ucl.ac.be/hachez/thesisgaelhachez.pdf.
17. Haber, S., and Stornetta, S. "How to Time-Stamp a Digital Document", Journal of Cryptology, vol. 3, pp. 99-111, 1991.
18. Hohl, F. "Time Limited Blackbox Security: Protecting Mobile Agents From Malicious Hosts". G. Vigna (Ed.), Mobile Agents and Security. Springer-Verlag, LNCS No 1419, pp 92-113, 1998.
19. Hussain, M., Seret, D., "A Comparative study of Security Protocols Validation Tools: HER-MES vs. AVISPA". Published in Proceecings of International Conference on Advanced Communication Technology (ICACT) 2006. IEEE Communication Society. "JADE". Online available at http://jade.tilab.com/.
20. S. Microsystems, "JavaTM Authentication and Authorization Service (JAAS)" vol. 2001, http://java.sun.com/products/jaas/.
21. "JAVACT project". Online available at http://www.irit.fr/recherches/ISPR/IAM/JavAct.html.
22. "AIK Java Crytology", 2001, http://jcewww.iaik.at/. "Java Secure Socket Extension (JSSE) Reference Guide", http:// java.sun.com/ j2se/1.4.2/ docs/ guide/ security/jsse/JSSERefGuide.html.
23. Lamport, L. "Pasword authentication with insecure communication". Communications ACM, NY, USA. ACM Press, vol.24, pp 770-720, 1981.
24. Maña, A. "Software Protection based on smartcards". PhD Thesis. University of Mlaga. 2003.
25. th October, 2008. Advances in Soft Computing, Springer Verlag, Vol. 51
26. th October, 2008. Advances in Soft Computing, Springer Verlag , Vol. 51 Corchado, Juan M.; Tapia, Dante; Bravo, Jose (Eds.). 2009, XII, 354 p. 131 illus., SoftcoverISBN: 978-3-540-85866-9.
27. th UIC. Published bySpringer-Verlag. LNCS, ISSN, 0302-9743.
28. Muñoz, A., Maña, A., Serrano, D. "SecMiLiA: An Approach in the Agent Protection". the proceedings of the International Conference on Availability, Reliability and Security, ARES 2009, published by IEEE Computer Society Press.
29. Mouratidis H, Kolp M, Faulkner S, Giorgini P,. "A Secure Architectural Description Language for Agent Systems". AAMAS'05 July 25-29, Utrecht, Netherlands.
30. th Annual Symposium on Principles of Programming Languages. 1997.
31. Ordille, J. "When agents Roam, Who can You Trust?". Proceedings of the First Conference on Emerging Technologies and Applications in Communications, Portland, Oregon, May 1996.
32. st Century". IEEE Computer, March, 1998, pp 23-30.
33. th, 2002.
34. Riordan, J., and Scheneider, B. "Environmental Key Generation Towards Clueless Agents". G.Vigna (Ed). Mobile Agents and Security, Springer-Verlag, LNCS No 1419, 1998.
35. th Workshop on Mobile Object Systems: Secure Internet Mobile Computations, INRIA, France, pp.147-154, 1998.
36. Sander, T., and Tschudin, C. "Protecting Mobile Agents Against Malicious Hosts", G. Vigna (Ed.), Mobile Agents and Security. Springer-Verlag, LNCS No. S225 711, August 1983.
37. th International Workshop on Distributed Algorithms, Saarbucken, Germany, September 1997.
38. Schwuttke, U. M., and Quan, A. G. 1993. "Enhancing Performance of Cooperating Agents in Real-Time Diagnostic Systems". Proceedings of the Thirteenth International Joint Conference on Arti_cial Intelligence (IJCAI-93), 332337. Menlo Park, Calif.: International Joint Conferences on Arti_cial Intelligence.
39. Shepherdson, D., "The JACK Usage Report". the Proc Of. Autonomous Agents and Multi Agents Systems, (AAMAS 03) 2003 .
40. Stamos, J., and Gi_ord, D. "Remote Evaluation". ACM Transactions on Programming Languages and Systems (TOPLAS) archive, ISSN:0164-0925. Vol, Issue 4. 1990. pp 537 - 564.
41. Stern, J. P., Hachez, G., Koeune, F., Quisquater, J. J. "Robust Object Watermarking: Ap-plication to Code". Proceedings of Info Hiding '99, Springer-Verlag. LNCS 1768, pp. 368-378, 1999. http://www.dice.ucl.ac.be/crypto/publications/1999/codemark.pdf.
42. . Trusted Computing Group. "TCG TPM Speci_cation Version 1.2". I-III, 2005.
43. Trusted Computing Group. "TCG Speci_cation Architecture Overview, Revision 1.4" (2007), https://www.trustedcomputinggroup.org/groups/TCG14ArchitectureOverview.pdf
44. "TPM Main - Part 1 Design Principles, Version 1.2, Revision 103." TCG Technical Speci_cation, July 2007.
45. th Workshop on Mobile Object Systems: Secure Internet Mobile Computations, INRIA, France pp 147-154 1998.
46. Wahbe, R., Lucco, S., Anderson, T. "Efficent Software-Based Isolation". Proceedings of the Fourteenth ACM Symposium on Operating Systmes Principles. ACM SIGOPS Operating Systems Review, pp 203-216. Dec 1993.
47. Wang, H., and Wang, C. 1997. "Intelligent Agents in the Nuclear Industry". IEEE Computer 30(11): 2834.
48. Wooldrigde, M. "Agent-based Software Engineering". IEE Proceedings on Software Engineering, 144(1), pages 26-37, February 1997.
49. Yee, B. "A Sanctuary for Mobile Agents", Technical Report CS97-537, University of California in San Diego, April 28, 1997. Online available at http://www-cse.ucsd.edu/users/bsy/index.html.