Olga Gelbart, Bhagirath Narahari, Rahul Simha. SPEE: A Secure Program Execution Environment tool using code integrity checking. J. High Speed Networks, 15(1):21-32, 2006. [doi]
@article{GelbartNS06,
title = {SPEE: A Secure Program Execution Environment tool using code integrity checking},
author = {Olga Gelbart and Bhagirath Narahari and Rahul Simha},
year = {2006},
url = {http://iospress.metapress.com/openurl.asp?genre=article&issn=0926-6801&volume=15&issue=1&spage=21},
tags = {meta programming, model checking, meta-model, Meta-Environment, meta-objects},
researchr = {https://researchr.org/publication/GelbartNS06},
cites = {0},
citedby = {0},
journal = {J. High Speed Networks},
volume = {15},
number = {1},
pages = {21-32},
}