TY  - RPRT
TI  - A Proof Carrying Code Framework for Inlined Reference Monitors in Java Bytecode
AU  - Mads Dam
AU  - Andreas Lundblad
PY  - 2010
UR  - https://arxiv.org/abs/1012.2995
ID  - 1012.2995
ER  -