Property-based testing: a new approach to testing for assurance
ACM SIGSOFT Software Engineering Notes
ITS4: A static vulnerability scanner for C and C++ code
ACSAC '00 Proceedings of the 16th Annual Computer Security Applications Conference
Software vulnerability analysis
Software vulnerability analysis
The Development and Evaluation of Three Diverse Techniques for Object-Oriented Code Inspection
IEEE Transactions on Software Engineering
Java for Mobile Devices: A Security Study
ACSAC '05 Proceedings of the 21st Annual Computer Security Applications Conference
Hi-index | 0.00 |
This paper represents a careful study of the security aspects of Java 2 Micro-Edition (J2ME) with Connected Limited Device Configuration (CLDC) and Mobile Information Device Profile (MIDP). This Java platform is intended for resource-constrained devices, with the purpose of expanding the range of applications available for these devices, by enabling them to run Java programs. Using a Common Criteria approach, our objective is to propose a set of security requirements that should be followed by any implementation of the platform.