Java Card Performance Optimization of Secure Transaction Atomicity Based on Increasing the Class Field Locality.
Johannes LoinigChristian StegerReinhold WeissErnst HaselsteinerPublished in: SSIRI (2009)
Keyphrases
- java card
- smart card
- transaction management
- method invocation
- fault injection
- transaction processing
- security model
- nested transactions
- byte code
- distributed databases
- acid properties
- static analysis
- security requirements
- countermeasures
- concurrency control
- transaction model
- concurrency control protocols
- correctness criterion
- efficient computation
- virtual machine