@article{徐甫_150, author = {[徐甫]}, title = {支持进程代码修改的非传递无干扰可信模型}, publisher = {计算机工程}, year = {2013}, journal = {计算机工程}, volume = {39}, number = {11}, eid = {150}, pages = {150-153,168}, keywords = {可信模型;非传递无干扰;代码修改;静态干扰;动态干扰;运行可信}, doi = http://www.ecice06.com/CN/10.3969/j.issn.1000-3428.2013.11.034 }