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]
@inproceedings{BernardeschiF02,
title = {Combining Abstract Interpretation and Model Checking for Analysing Security Properties of Java Bytecode},
author = {Cinzia Bernardeschi and Nicoletta De Francesco},
year = {2002},
url = {http://link.springer.de/link/service/series/0558/bibs/2294/22940001.htm},
tags = {Java, model checking, meta-model, security, Meta-Environment},
researchr = {https://researchr.org/publication/BernardeschiF02},
cites = {0},
citedby = {0},
pages = {1-15},
booktitle = {Verification, Model Checking, and Abstract Interpretation, Third International Workshop, VMCAI 2002, Venice, Italy, January 21-22, 2002, Revised Papers},
editor = {Agostino Cortesi},
volume = {2294},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-43631-6},
}