A secure execution framework for Java.

Manfred Hauswirth Clemens Kerer Roman Kurmanowytsch

Published in: CCS (2000)

Keyphrases

lightweight
data sets
main contribution
high level
formal model
conceptual framework
security analysis
standard model