An Efficient and Simple Way to Test the Security of Java CardsTM
作者： Serge Chaumette , Damien Sauveron
DOI:
关键词: Simple (abstract algebra) 、 Computer science 、 Test (assessment) 、 Real time Java 、 Programming language 、 strictfp 、 Operating system 、 Java
摘要:
archives-ouvertes.fr参考文章(14)
Ksheerabdhi Krishna, Michael Montgomery, Secure object sharing in java card WOST'99 Proceedings of the USENIX Workshop on Smartcard Technology on USENIX Workshop on Smartcard Technology. pp. 14- 14 ,(1999)
Karine Gandolfi, Christophe Mourtel, Francis Olivier, Electromagnetic Analysis: Concrete Results cryptographic hardware and embedded systems. ,vol. 2162, pp. 251- 261 ,(2001) , 10.1007/3-540-44709-1_21
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)
Xavier Leroy, On-Card Bytecode Verification for Java Card Lecture Notes in Computer Science. ,vol. 2149, pp. 150- 164 ,(2001) , 10.1007/3-540-45418-7_13
Jean-Sébasticn Coron, Paul Kocher, David Naccache, Statistics and Secret Leakage financial cryptography. pp. 157- 173 ,(2000) , 10.1007/3-540-45472-1_12
Jean-Jacques Quisquater, David Samyde, ElectroMagnetic Analysis (EMA): Measures and Counter-Measures for Smart Cards Lecture Notes in Computer Science. ,vol. 2140, pp. 200- 210 ,(2001) , 10.1007/3-540-45418-7_17
L. Casset, L. Burdy, A. Requet, Formal development of an embedded verifier for Java Card byte code dependable systems and networks. pp. 51- 58 ,(2002) , 10.1109/DSN.2002.1028886
Xavier Leroy, Bytecode verification on Java smart cards Software - Practice and Experience. ,vol. 32, pp. 319- 340 ,(2002) , 10.1002/SPE.438
Gilles Grimaud, Damien Deville, Building an "impossible" verifier on a java card Proceedings of the 2nd conference on Industrial Experiences with Systems Software - Volume 2. pp. 2- 2 ,(2002) , 10.5555/1251516.1251518
Eva Rose, Lightweight Bytecode Verification Journal of Automated Reasoning. ,vol. 31, pp. 303- 334 ,(2003) , 10.1023/B:JARS.0000021015.15794.82