| 二维降密策略的内联引用监控方法 |
| |
| 引用本文： | 朱浩,陈建平,金丽.二维降密策略的内联引用监控方法[J].计算机科学,2016,43(Z11):352-354. |
| |
| 作者姓名： | 朱浩 陈建平 金丽 |
| |
| 作者单位： | 南通大学计算机科学与技术学院 南通226019;南京航空航天大学计算机科学与技术学院 南京210016,南通大学计算机科学与技术学院 南通226019,南通大学电子信息学院 南通226019 |
| |
| 基金项目： | 本文受江苏省博士后科研资助 |
| |
| 摘 要： | 降密策略的静态实施机制存在限制性过强的缺陷,基于虚拟机的动态监控机制不能完全适合Web和即时编译环境。为此,基于内联引用监控方法,实施了基于内容和地点维度的二维降密策略。提出了内联引用监控方法的程序变形规则,并证明了该方法的可靠性；根据该程序变形规则,将源程序进行变形重写,生成一个新的程序,它能脱离外部监控环境,实现自我监控。
|
| 关 键 词： | 降密策略 监控 内联引用 无干扰 |
In-lined Reference Monitor Method of Two-dimension Information Release Policy |
| |
| ZHU Hao,CHEN Jian-ping and JIN Li.In-lined Reference Monitor Method of Two-dimension Information Release Policy[J].Computer Science,2016,43(Z11):352-354. |
| |
| Authors: | ZHU Hao CHEN Jian-ping and JIN Li |
| |
| Affiliation: | School of Computer Science and Technology,Nantong University,Nantong 226019,China;School of Computer Science and Technology,Nanjing University of Aeronautics and Astronautics,Nanjing 210016,China,School of Computer Science and Technology,Nantong University,Nantong 226019,China and School of Electronics and Information,Nantong University,Nantong 226019,China |
| |
| Abstract: | The static enforcement methods of declassification policies are over-restrictive.Dynamic approaches based on virtual machines are not suited to Web and just-in-time compiling environments completely.To this end,a two-dimension declassification policy based on the dimension of WHAT and WHERE was enforced by in-lined reference monitor method.The transformation rules of in-lined reference monitor method were presented,and the soundness of the rules was proved.According to transformation rules of the program,the source program is transformed and rewritten to a new program,which is independent of external monitoring environments and can be self-monitored. |
| |
| Keywords: | Information release policy Monitor In-lined reference Non-interference |
|
| 点击此处可从《计算机科学》浏览原始摘要信息 |
|
点击此处可从《计算机科学》下载全文 |
|
