A runtime monitoring environment for mobile java

2008 IEEE International Conference on Software Testing Verification and Validation Workshop, ICSTW'08

Volumn , Issue , 2008, Pages 270-278

  Martinelli, Fabio ^a   Quillinan, Thomas ^b   Mori, Paolo ^a   Schaefer, Christian ^c  

^a CNR   (Italy)

^b VU UNIVERSITY AMSTERDAM   (Netherlands)

^c DOCOMO EURO LABS   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; COMPUTER SOFTWARE; COMPUTER SOFTWARE SELECTION AND EVALUATION; JAVA PROGRAMMING LANGUAGE; MOBILE DEVICES; PORTABLE EQUIPMENT; TELECOMMUNICATION EQUIPMENT; VERIFICATION;

BROADBAND CONNECTIONS; COMPUTATIONAL POWER; INTERNATIONAL CONFERENCES; RUN-TIME; RUN-TIME MONITORING; SECURITY MODELING; SECURITY POLICIES; SOFTWARE AVAILABILITY; SOFTWARE DOWNLOADING; VERIFICATION AND VALIDATION;

SOFTWARE TESTING;

EID: 52249090716     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICSTW.2008.3     Document Type: Conference Paper

References (18)

1. I. Aktug. Syntax and semantics of conspec. Technical report, S3MS Project, 2007.
2. I. Aktug and K. Naliuka. Conspec: A formal language for policy specification. In Proceedings of the First Workshop on Formal Languages and Analysis of Contract-Oriented Software (FLACOS '07), Oslo, Norway, October 2007.
3. I. Aktug and K. Naliuka. ConSpec: A formal language for policy specification. In Proceedings of the First International Workshop on Run Time Enforcement for Mobile and Distributed Systems (REM 07), Dresden, Germany, September 2007. ESORICS.
4. M. Debbabi, M. Saleh, C. Talhi, and S. Zhioua. Java for mobile devices: A security study. In Proceedings of the 21st Annual Computer Security Applications Conference (AC-SAC'05), pages 235-244. IEEE Computer Society, 2005.
5. M. Debbabi, M. Saleh, C. Talhi, and S. Zhioua. Security analysis of mobile java. In Proceedings of the Sixteenth International Workshop on Database and Expert Systems Applications, 2005, pages 231- 235. IEEE Computer Society, 2005.
6. M. Debbabi, M. Saleh, C. Talhi, and S. Zhioua. Security evaluation of j2me cldc embedded java platform. Journal of Object Technolog, 2(5):125-154, 2006.
7. J. Delplancke, F. Martinelli, P. Mori, F. Piesses, and D. Vanoverberghe. D4.2.4 - runtime enforcement architectures. Technical report, S3MS Project Deliverables, 2007. http://www.s3ms.org/index.jsp?doc=179.
8. N. Dragoni, F. Massacci, C. Schaefer, T. Walter, and E. Vetillard. A Security-by-contracts Architecture for Pervasive Services. In 3rd Internation Workshop on Security, Privacy and Trust in Pervasive and Ubiquitous Computing (SecPerU 2007), July 2007.
9. U. Erlingsson and F. B. Schneider. Irm enforcement of java stack inspection. In IEEE Symposium on Security and Privacy, page 246, Oakland, California, USA, May 2000. IEEE Computer Society.
10. I. Ion, B. Dragovic, and B. Crispo. Extending the java virtual machine to enforce fine-grained security policies in mobile devices. In In Proceedings of the 23rd Annual Computer Security Applications Conference (ACSAC07), 2007.
11. ISO. Security frameworks for open systems: Access control framework. Technical report, ISO/IEC 10181-3, 1996.
12. JSR 118 Expert Group. Mobile information device profile for Java 2 micro edition. Java Standards Process JSP 118, Java Community Process, http: //jcp.org/aboutJava/communityprocess/final/jsr118/index.html, November 2002.
13. JSR 118 Expert Group. Security for gsm/umts compliant devices recommended practice. addendum to the mobile information device profile. Java standards process, Java Community Process, http://www.jcp.org/aboutJava/communityprocess/ maintenance/jsr118/, November 2002.
14. J. Research. Juniper Research Predicts Mobile Games Market to Reach $10bn by 2009, Driven by Emerging Markets and Casual Gamers. Press Release, November 2007. http://www.juniperresearch.com/shop/viewpressrelease. php?pr=63.
15. C. Riberio and P.Guedes. An access control language for security policies with complex contraints. In In Proceedings of Network and Distributed System Security Symphosium (NDSS01), 2001.
16. F. B. Schneider. Enforceable security policies. ACM Transactions of Infinite Systems Security, 3(1):30-50, 2000.
17. Sun Developer Network. Java ME. http://java.sun.com/javame/index.jsp.
18. Sun Microsystems Inc. The connectected limited device configuration specification. Java Standards Process JSR 139, Java Community Process, http://jcp.org/aboutJava/communityprocess/final/jsr139/index.html, March 2003.