Publisher： IGI Global_journal
E-ISSN： 1947-3044|4|2|19-39
ISSN： 1947-3036
Source： International Journal of Secure Software Engineering (IJSSE), Vol.4, Iss.2, 2013-04, pp. : 19-39
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Abstract
Related content
Java智能卡EEPROM碎片整理算法 An EEPROM Defragmentation Algorithm on Java Smart Card
Computer Science and Application, Vol. 03, Iss. 02, 2013-04 ,pp. :
Access to resources
Recommend
Correctness of Java card method lookup via logical relations
Theoretical Computer Science, Vol. 283, Iss. 2, 2002-06 ,pp. :
Access to resources
A Type System for the Java Bytecode Language and Verifier
By Freund Stephen Mitchell John
Journal of Automated Reasoning, Vol. 30, Iss. 3-4, 2003-05 ,pp. :
On the border of causality: contact and confusion
By Smith E.
Theoretical Computer Science, Vol. 153, Iss. 1, 1996-01 ,pp. :