Cinzia Bernardeschi, Nicoletta De Francesco. Combining Abstract Interpretation and Model Checking for Analysing Security Properties of Java Bytecode. In Agostino Cortesi, editor, Verification, Model Checking, and Abstract Interpretation, Third International Workshop, VMCAI 2002, Venice, Italy, January 21-22, 2002, Revised Papers. Volume 2294 of Lecture Notes in Computer Science, pages 1-15, Springer, 2002. [doi]
Abstract is missing.