A type system for checking applet isolation in Java']Java Card

被引：0
作者：
Dietl, W [1 ]
Müller, P
Poetzsch-Heffter, A
机构：
[1] ETH, Zurich, Switzerland
[2] Tech Univ Kaiserslautern, Kaiserslautern, Germany
来源：
CONSTRUCTION AND ANALYSIS OF SAFE, SECURE, AND INTEROPERABLE SMART DEVICES | 2005年 / 3362卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
A Java Card applet is, in general, not allowed to access fields and methods of other applets on the same smart card. This applet isolation property is enforced by dynamic checks in the Java Card Virtual Machine. This paper describes a refined type system for Java Card that enables static checking of applet isolation. With this type system, firewall violations are detected at compile time. Only a special kind of downcast requires dynamic checks.
引用
收藏
页码：129 / 150
页数：22
相关论文
共 23 条
[1]  
Aldrich J, 2004, LECT NOTES COMPUT SC, V3086, P1
[2]  
ALDRICH J, 2002, OBJECT ORIENTED PROG
[3]  
Andronick J, 2003, LECT NOTES COMPUT SC, V2758, P335
[4]  
BAREHT G, 2001, LECT NOTES COMPUTER, V2028, P302
[5]  
BEIBER P, 2002, J COMPUTER SECURITY, V10, P369
[6]  
Bieber P, 2001, LECT NOTES COMPUT SC, V2041, P25
[7]  
BOKOWSKI B, 1999, P OBH OR PROGR SYST
[8]  
BOYAPATI C, 2004, SAFE JAVA UNIFIED TY
[9]  
CAROMEL D, 2001, LECT NOTES COMPUTER, V2140, P43
[10]   Ownership types for flexible alias protection [J].
Clarke, DG ;
Potter, JM ;
Noble, J .
ACM SIGPLAN NOTICES, 1998, 33 (10) :48-64
123