Increasing Efficiency, Flexibility, and Robustness in Java™ Security

PDF

Authors
  1. Painchaud, F.
Corporate Authors
Defence R&D Canada - Valcartier, Valcartier QUE (CAN)
Abstract
The research work described in this document pursues a threefold objective: 1) to present and explain the Java Platform’s Security Architecture; 2) to analyze and understand in detail the Java Bytecode Verifier (JBV), which enforces low-level security on the Java Platform; and 3) to extend high-level Java Security by enhancing its efficiency, flexibility, and robustness. To achieve this challenging objective, a multitude of official documents and many papers published by established experts in the field were studied to obtain an understanding of the existing technology base. A complete and detailed specification of the JBV was also analyzed and used to implement a JBV – a necessary step in order to investigate Java Security extensions. This JBV design is summarized in this document using UML class diagrams. Finally, Java Security extensions, based on innovative Certifying Compilation techniques, are presented along with a discussion on their applicability to C2IS and other critical information systems.

Il y a un résumé en français ici.

Keywords
Information Technology Security;Java Platform;Java Security;Java Bytecode Verifier;Java Certifying Compilation;Java (Programming language)
Report Number
DRDC-VALCARTIER-TM-2003-242 — Technical Memorandum
Date of publication
01 Nov 2003
Number of Pages
98
DSTKIM No
CA023264
CANDIS No
520525
Format(s):
CD ROM

Permanent link

Document 1 of 1

Date modified: