Secure Method Invocation in JASON

We describe the Secure Method Invocation (SMI) framework implemented for Jason, our Javacard As Secure Objects Networks platform. Jason realises the secure object store paradigm, that reconciles the card-as-storage-element and card-as-processing-element views. In this paradigm, smart cards are viewed as secure containers for objects, whose methods can be called straightforwardly and securely using SMI. Jason is currently being developed as a middleware layer that securely interconnects an arbitrary number of smart cards, terminals and back-office systems over the Internet

Java Card:An analysis of the most successful smart card operating system

To explain why the Java Card operating system has become the most successful smart card operating system to date, we analyze the realized features of the current Java Card version, we argue it could be enhanced by adding a number of intended features and we discuss a set of complementary features that have been suggested. No technology can be successful without the right people and the right circumstances, so we provide some insights in the personal and historical historic aspects of the success of Java Card

A programming and a modelling perspective on the evaluation of Java card implementations

Java Card Technology has provided a huge step forward in programming smart cards: from assembler to using a high level Object Oriented language. However, the authors have found some differences between the current Java Card version (2.1) and main stream Java that may restrict the benefits of using Java achievable in smartcard programming. In particular, efforts towards evaluating Java Card implementations at a high level of assurance may be hampered by the presence of these differences as well as by the complexity of the Java Card VM and API. The goal of the present paper is to detail the differences from a programming and a modelling point of view

Biometrics to Enhance Smartcard Security (Simulating MOC using TOC)

A novel protocol is proposed to address the problem of user authentication to smartcards using devices that are currently inexpen- sive. The protocol emulates expensive Match On Card (MOC) smart- cards, which can compute a biometric match, by cheap Template on Card (TOC) smartcards, which only store a biometric template. The actual match is delegated to an extension of the cryptographic module running on the card host, which is called Cryptoki according to the PKCS#11[9] standard. Compliance to such a standard increases the portability of the protocol. Informal reasoning confirms the protocol strenghts, though its formal verification in terms of established equational techniques appears to be at hand

Radiation doses and associated risks from x-ray guided cardiac catheterization procedures in children and young adults

PhD ThesisCardiac catheterizations are an essential procedure in the management of patients with congenital and acquired heart conditions. However, associated radiation doses are often high, raising concerns over potentially increased cancer risks. Neither the radiation doses, nor the associated risks, have been adequately investigated in young people undergoing these procedures. A cohort was established of around 13,500 patients aged under 22 years who have undergone cardiac catheterizations in England. Organ doses were estimated based on a dosimetry system utilising data from Monte Carlo simulations. Doses were highest for the lungs (median: 17.6 millisieverts, mSv) and heart (13.6 mSv), while doses to bone marrow (2.6 mSv) and the thyroid (0.7 mSv) were relatively low. Radiation doses have fallen by a factor of up to ten during the study period. The results were compared to equivalent figures derived from physical measurements. Uncertainties in dose estimates were calculated. These were around ±30%, though were potentially much higher for breast dose. The risk of cancer in relation to estimated doses was calculated using BEIR VII risk models. For examinations conducted using modern equipment, these risks are around 1 in 1700. A small epidemiological analysis was performed, suggesting a nearly threefold increased risk of cancer in the cohort, compared to the general UK population. There are a number of reasons to suggest that this increase was primarily not related to radiation exposure, most notably the large impact of transplantation and likely associated immunosuppressant use. Despite the high cancer incidence, the overall survival in the cohort was high, at around 91% after 30 years. Conclusion: The study provides the first large scale estimation of organ doses from cardiac catheterizations among this age group. Rates of cancer among this patient group are high, although this is appears to be mostly due to factors other than radiation exposure.British Heart Foundatio