Context inference for static analysis of Java Card object sharing

DOI10.1007/3-540-45418-7_5MaRDI QIDQ4785543zbMATH OpenFDO

Authors Denis Caromel, Ludovic Henrio, Bernard Paul Serpette

Publication date 5 January 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/2140/21400043

zbMATH Keywords

Java cardobjectssecuritystatic analysistype inference

Mathematics Subject Classification ID

Data encryption (aspects in computer science) (68P25) Computing methodologies and applications (68U99)

Recommendations

• Programming Languages and Systems
• Precise Set Sharing Analysis for Java-Style Programs
• Sharing analysis based on type inference
• Precise constraint-based type inference for Java
• scientific article; zbMATH DE number 1980964

Cited in

(1)

• Precise Set Sharing Analysis for Java-Style Programs

This page was built for publication: Context inference for static analysis of Java Card object sharing

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