{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,5]],"date-time":"2025-06-05T12:05:31Z","timestamp":1749125131907},"reference-count":31,"publisher":"Wiley","issue":"4","license":[{"start":{"date-parts":[[2002,3,15]],"date-time":"2002-03-15T00:00:00Z","timestamp":1016150400000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/onlinelibrary.wiley.com\/termsAndConditions#vor"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Softw Pract Exp"],"published-print":{"date-parts":[[2002,4,10]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>This article presents a novel approach to the problem of bytecode verification for Java Card applets. By relying on prior off\u2010card bytecode transformations, we simplify the bytecode verifier and reduce its memory requirements to the point where it can be embedded on a smart card, thus increasing significantly the security of post\u2010issuance downloading of applets on Java Cards. This article describes the on\u2010card verification algorithm and the off\u2010card code transformations, and evaluates experimentally their impact on applet code size. Copyright \u00a9 2002 John Wiley &amp; Sons, Ltd.<\/jats:p>","DOI":"10.1002\/spe.438","type":"journal-article","created":{"date-parts":[[2002,10,6]],"date-time":"2002-10-06T12:00:41Z","timestamp":1033905641000},"page":"319-340","source":"Crossref","is-referenced-by-count":63,"title":["Bytecode verification on Java smart cards"],"prefix":"10.1002","volume":"32","author":[{"given":"Xavier","family":"Leroy","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"311","published-online":{"date-parts":[[2002,3,15]]},"reference":[{"key":"e_1_2_1_2_2","series-title":"The Java Series","volume-title":"Java Card Technology for Smart Cards: Architecture and Programmer's Guide","author":"Chen Z","year":"2000"},{"key":"e_1_2_1_3_2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-68671-1","volume-title":"Mobile Agents and Security","author":"Vigna G","year":"1998"},{"key":"e_1_2_1_4_2","volume-title":"Securing Java","author":"McGraw G","year":"1999"},{"key":"e_1_2_1_5_2","series-title":"The Java Series","volume-title":"Inside Java 2 Platform Security: Architecture, API Design, and Implementation","author":"Gong L","year":"1999"},{"key":"e_1_2_1_6_2","doi-asserted-by":"publisher","DOI":"10.1145\/202529.202541"},{"key":"e_1_2_1_7_2","first-page":"369","volume-title":"Proceedings of the 4th International World Wide Web Conference","author":"Yellin F","year":"1995"},{"key":"e_1_2_1_8_2","series-title":"The Java Series","volume-title":"The Java Virtual Machine Specification","author":"Lindholm T","year":"1999"},{"key":"e_1_2_1_9_2","unstructured":"Sun Microsystems.JavaCard 2.1.1 virtual machine specification 2000."},{"key":"e_1_2_1_10_2","unstructured":"Sun Microsystems.JavaCard 2.1.1 runtime environment specification 2000."},{"key":"e_1_2_1_11_2","volume-title":"Advanced Compiler Design and Implementation","author":"Muchnick SS","year":"1997"},{"key":"e_1_2_1_12_2","doi-asserted-by":"publisher","DOI":"10.1145\/314602.314606"},{"key":"e_1_2_1_13_2","doi-asserted-by":"publisher","DOI":"10.1145\/363911.363915"},{"key":"e_1_2_1_14_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-59495-3"},{"key":"e_1_2_1_15_2","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-49727-7_2"},{"key":"e_1_2_1_16_2","first-page":"70","volume-title":"Proceedings of the 26th Symp. on Principles of Programming Languages","author":"O'Callahan R","year":"1999"},{"key":"e_1_2_1_17_2","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-44585-4_26"},{"key":"e_1_2_1_18_2","doi-asserted-by":"publisher","DOI":"10.1145\/872726.806984"},{"key":"e_1_2_1_19_2","doi-asserted-by":"publisher","DOI":"10.1145\/177492.177575"},{"key":"e_1_2_1_20_2","volume-title":"Compilers: Principles, Techniques, and Tools","author":"Aho AV","year":"1986"},{"key":"e_1_2_1_21_2","unstructured":"RoseE RoseK.Lightweight bytecode verification.Workshop on Fundamental Underpinnings of Java 1998."},{"key":"e_1_2_1_22_2","unstructured":"Sun Microsystems. Java 2 platform micro edition technology for creating mobile devices. White paper http:\/\/java.sun.com\/products\/cldc\/wp\/KVMwp.pdf[2000]."},{"key":"e_1_2_1_23_2","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-48166-4_29"},{"key":"e_1_2_1_24_2","first-page":"106","volume-title":"Proceeding of the 24th Symp. on Principles of Programming Languages","author":"Necula GC","year":"1997"},{"key":"e_1_2_1_25_2","unstructured":"CohenR.The defensive Java virtual machine specification.Technical Report Computational Logic Inc. 1997."},{"key":"e_1_2_1_26_2","series-title":"Lecture Notes in Computer Science","volume-title":"Formal Syntax and Semantics of Java","author":"Qian Z","year":"1998"},{"key":"e_1_2_1_27_2","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-49059-0_7"},{"key":"e_1_2_1_28_2","doi-asserted-by":"publisher","DOI":"10.1145\/330643.330646"},{"key":"e_1_2_1_29_2","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45315-6_23"},{"key":"e_1_2_1_30_2","doi-asserted-by":"publisher","DOI":"10.1145\/503112.503115"},{"key":"e_1_2_1_31_2","unstructured":"PoseggaJ VogtH.Java bytecode verification using model checking.Workshop on Fundamental Underpinnings of Java 1998."},{"key":"e_1_2_1_32_2","unstructured":"BrissetP.Vers un v\u00e9rifieur de bytecode Java certifi\u00e9.Seminar \u00c9cole Normale Sup\u00e9rieure Paris October 2 1998."}],"container-title":["Software: Practice and Experience"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.wiley.com\/onlinelibrary\/tdm\/v1\/articles\/10.1002%2Fspe.438","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/pdf\/10.1002\/spe.438","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,11,18]],"date-time":"2023-11-18T15:08:05Z","timestamp":1700320085000},"score":1,"resource":{"primary":{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/10.1002\/spe.438"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002,3,15]]},"references-count":31,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2002,4,10]]}},"alternative-id":["10.1002\/spe.438"],"URL":"https:\/\/doi.org\/10.1002\/spe.438","archive":["Portico"],"relation":{},"ISSN":["0038-0644","1097-024X"],"issn-type":[{"value":"0038-0644","type":"print"},{"value":"1097-024X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2002,3,15]]}}}