The Software Infrastructure of a Java Card Based Security Platform for Distributed Applications (original) (raw)
Related papers
A protocol for programmable smart cards
14th International Workshop on Database and Expert Systems Applications, 2003. Proceedings., 2003
C2OS, A New Cryptographic Operating System for Smart Cards
The International Conference on Electrical Engineering
The Italian Electronic Identity Card: Overall Architecture and IT infrastructure
… and Security in Inter- …, 2005
Practical security systems with smartcards
Proceedings of the Seventh Workshop on Hot Topics in Operating Systems, 2000
Proceedings of The International Symposium on Grids and Clouds and the Open Grid Forum — PoS(ISGC 2011 & OGF 31)
The Trusted Execution Module: Commodity General-Purpose Trusted Computing
Smart Card Research and …, 2008
Improving Java Card Grid Dependability with Fault Prevention and Fault Tolerance
Specification and Runtime Verification of Java Card Programs
Electronic Notes in Theoretical Computer Science, 2009
Study of Java Card and its Application
Framework Implementation Based on Grid of Smartcards to Authenticate Users and Virtual Machines
Proceedings of the 11th International Conference on Security and Cryptography, 2014
Tool-Assisted Specification and Verification of the JavaCard Platform
2002
JCCM: Flexible certificates for smartcards with Java Card
Springer LNCS 2140; Proc. International Conference on Research in Smart Cards (E-smart 2001), 2001
An open middleware for smart cards
… SYSTEMS SCIENCE AND …
JCSI: A tool for checking secure information flow in Java Card applications
Journal of Systems and Software, 2012
A Brief Primer on Smart Card Operating Systems
2018
An Efficient Security Mechanism in Distributed Systems for Smart-Cards
2015
Design and Implementation of Public Key Infrastructure on Smart Card Operating System
2008
PSecGCM: Process for the Development of Secure Grid Computing based Systems with Mobile Devices
2008 Third International Conference on Availability, Reliability and Security, 2008
A framework for secure execution of software
International Journal of …, 2004