142
click to vote
CASSIS
15 years 8 months ago
2004 Springer 
Abstract. This paper addresses the problem of static checking of programs to ensure that they satisfy confidentiality policies in the presence of dynamic access control in the for...
138
click to vote
CASSIS
15 years 6 months ago
2004 Springer
The JAVA CARD transaction mechanism can ensure that a sequence of statements either is executed to completion or is not executed at all. Transactions make verification of JAVA CARD...
116
click to vote
CASSIS
15 years 8 months ago
2004 Springer
Abstract. This short paper introduces the issues and challenges of next generation Java-based smart card platforms. Betting on a continuous evolution toward open computing devices,...
114
click to vote
CASSIS
15 years 8 months ago
2004 Springer 
We present the Mobile Resource Guarantees framework: a system for ensuring that downloaded programs are free from run-time violations of resource bounds. Certificates are attached...
114
click to vote
CASSIS
15 years 8 months ago
2004 Springer 
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 i...
|
Human Computer Interaction