SPEE: A Secure Program Execution Environment tool using code integrity checking.

Olga Gelbart Bhagirath Narahari Rahul Simha

Published in: J. High Speed Networks (2006)

Keyphrases

integrity checking
execution environment
program understanding
integrity constraints
source code
hard and soft constraints
deductive databases
constraint logic programming
digital libraries
web services
distributed systems
database
databases
case study
knowledge representation
life cycle