William R. Bevier, Warren A. Hunt Jr., William D. Young. Toward Verified Execution Environments. In IEEE Symposium on Security and Privacy. pages 106-115, 1987.
@inproceedings{BevierHY87,
title = {Toward Verified Execution Environments},
author = {William R. Bevier and Warren A. Hunt Jr. and William D. Young},
year = {1987},
tags = {meta-model, Meta-Environment},
researchr = {https://researchr.org/publication/BevierHY87},
cites = {0},
citedby = {0},
pages = {106-115},
booktitle = {IEEE Symposium on Security and Privacy},
}