Secure Abstraction with Code Capabilities

Robbert van Renesse Håvard D. Johansen Nihar Naigaonkar Dag Johansen

Published in: CoRR (2012)

Keyphrases

high level abstractions
high level
source code
lightweight
case study
electronic commerce
competitive advantage
computational power
security mechanisms
error correcting
decision theoretic planning