Applet verification strategies for RAM-constrained devices

DOI10.1007/3-540-36552-4_9MaRDI QIDQ4413319zbMATH OpenFDO

Authors Nils Maltesson, David Naccache, Elena Trichina, Christophe Tymen

Publication date 17 July 2003

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2587/25870118.htm

Mathematics Subject Classification ID

Data encryption (aspects in computer science) (68P25)

Recommendations

• Reducing the memory complexity of type-inference algorithms
• A type system for the Java bytecode language and verifier
• On-card bytecode verification for Java card
• Lightweight bytecode verification
• Bytecode verification on Java smart cards

Cited in

(1)

• Reducing the memory complexity of type-inference algorithms

This page was built for publication: Applet verification strategies for RAM-constrained devices

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