Security aspects of JAVA Smart Cards in JINI

Smart cards (small plastic cards containing tiny computers) will soon revolutionise commerce, replacing multiple cards (telephone, library, credit, drivers licence) while acting as electronic purses and storing medical records. Java cards are smart cards running the platform independent programming language Java. A Java card owner will download further Java applications off the Internet onto the Java card, on demand, via automated teller machines. The various functions must share data, but must guarantee that data is accessible to only trusted programs. We will investigate various avenues for guaranteeing such security on Java cards using Formal Methods and Automated Reasoning techniques.