Implementation of Java card virtual machine

DOI10.1007/BF02948841MaRDI QIDQ5938715zbMATH OpenOpenAlexFDO

Authors Songyan Liu, Zhigang Mao, Yizheng Ye

Publication date 18 October 2001

Published in Journal of Computer Science and Technology (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/bf02948841

zbMATH Keywords

securityJava cardJCREJCVM

Mathematics Subject Classification ID

Theory of programming languages (68N15) Computing methodologies and applications (68U99)

Recommendations

• scientific article; zbMATH DE number 1706331
• A B model for ensuring soundness of a large subset of the Java card virtual machine
• scientific article; zbMATH DE number 2088502
• scientific article; zbMATH DE number 1848374
• scientific article; zbMATH DE number 2030038

Cited in

(6)

• scientific article; zbMATH DE number 1848386 (Why is no real title available?)
• Operational semantics of the Java Card Virtual Machine
• scientific article; zbMATH DE number 2088502 (Why is no real title available?)
• scientific article; zbMATH DE number 1848374 (Why is no real title available?)
• scientific article; zbMATH DE number 1956492 (Why is no real title available?)
• scientific article; zbMATH DE number 1706331 (Why is no real title available?)

This page was built for publication: Implementation of Java card virtual machine

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5938715)