Sciweavers

CASSIS
2004
Springer
14 years 2 months ago
Verification of Safety Properties in the Presence of Transactions
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...
Reiner Hähnle, Wojciech Mostowski
CASSIS
2004
Springer
14 years 2 months ago
Mastering Test Generation from Smart Card Software Formal Models
Fabrice Bouquet, Bruno Legeard, Fabien Peureux, Er...
CASSIS
2004
Springer
14 years 4 months ago
Smart Card Research Perspectives
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,...
Jean-Jacques Vandewalle
CASSIS
2004
Springer
14 years 4 months ago
Modelling Mobility Aspects of Security Policies
Security policies are rules that constrain the behaviour of a system. Different, largely unrelated sets of rules typically govern the physical and logical worlds. However, increa...
Pieter H. Hartel, Pascal van Eck, Sandro Etalle, R...
CASSIS
2004
Springer
14 years 4 months ago
A Type System for Checking Applet Isolation in Java Card
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...
Werner Dietl, Peter Müller, Arnd Poetzsch-Hef...
CASSIS
2004
Springer
14 years 4 months ago
ESC/Java2: Uniting ESC/Java and JML
The ESC/Java tool was a lauded advance in effective static checking of realistic Java programs, but has become out-of-date with respect to Java and the Java Modeling Language (JML...
David R. Cok, Joseph Kiniry
CASSIS
2004
Springer
14 years 4 months ago
History-Based Access Control and Secure Information Flow
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...
Anindya Banerjee, David A. Naumann
CASSIS
2004
Springer
14 years 4 months ago
Mobile Resource Guarantees for Smart Devices
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...
David Aspinall, Stephen Gilmore, Martin Hofmann, D...