Formal verification; JML; JAVA CARD applets; Transactions; Card Tears; Non-atomic methods;
机译:使用基于IC芯片的Java Card系统的RAM存储器,基于事务缓冲区的applet下载速度的改进
机译:在其他Java虚拟机中管理Java Card applet的生命周期
机译:使用IC芯片的Java Card系统的发行后小程序的高效安装
机译:验证Java Card小程序行为的交易和卡片撕裂
机译:Jarhead-分析和检测恶意Java小程序
机译:面向家庭的心脏风险估算器:基于Java Web的Applet
机译:关于Java Card中的卡片流泪和交易的推理