Java Type Confusion and Fault Attacks
作者： Olli Vertanen
DOI: 10.1007/11889700_21
关键词: High-level programming language 、 Java concurrency 、 Fault tolerance 、 Computer science 、 Virtual machine 、 strictfp 、 Operating system 、 Machine code 、 Java 、 Java Card
摘要: Virtual machines executing high level languages are nowadays found even in small secure embedded systems. We have studied properties of the Java virtual machine and language under certain fault attacks. Focused glitching attacks may enforce type confusion situations. Defensive is prosed as a counter-measure.
springer.com
springerlink.com
acm.org 参考文章(33)
Robert F. Stärk, Joachim Schmid, Egon Börger, Java and the Java Virtual Machine Springer Berlin Heidelberg. ,(2001) , 10.1007/978-3-642-59495-3
E. Borger, Joachim Schmid, Robert F. Stark, Java and the Java Virtual Machine: Definition, Verification, Validation with Cdrom Springer-Verlag New York, Inc.. ,(2001)
Serge Chaumette, Damien Sauveron, An Efficient and Simple Way to Test the Security of Java CardsTM international workshop on security. pp. 331- 341 ,(2005)
Frank Yellin, Tim Lindholm, The Java Virtual Machine Specification ,(1996)
Egon Börger, Joachim Schmid, Robert F. Stärk, Java and the Java Virtual Machine: Definition, Verification, Validation ,(2001)
Markus G. Kuhn, Oliver Kömmerling, Design principles for tamper-resistant smartcard processors WOST'99 Proceedings of the USENIX Workshop on Smartcard Technology on USENIX Workshop on Smartcard Technology. pp. 2- 2 ,(1999)
Gary McGraw, Greg Hoglund, Exploiting Software: How to Break Code ,(2004)
D. Naccache, Finding faults [data security] ieee symposium on security and privacy. ,vol. 3, pp. 61- 65 ,(2005) , 10.1109/MSP.2005.122
Mourad Debbabi, Hamdi Yahyaoui, Lamia Ketari, Chamseddine Talhi, Abdelouahed Gherbi, Sami Zhioua, a synergy between efficient interpretation and fast selective dynamic compilation for the acceleration of embedded Java virtual machines principles and practice of programming in java. pp. 107- 113 ,(2004) , 10.5555/1071565.1071585
M. Baentsch, P. Buhler, T. Eirich, F. Horing, M. Oestreicher, JavaCard-from hype to reality IEEE Concurrency. ,vol. 7, pp. 36- 43 ,(1999) , 10.1109/4434.806977