| 安全信息流的实时监控机制 |
| |
| 引用本文： | 晏 立,鞠时光,王昌达.安全信息流的实时监控机制[J].通信学报,2008,29(10):51-57. |
| |
| 作者姓名： | 晏 立 鞠时光 王昌达 |
| |
| 作者单位： | 江苏大学计算机科学与通信工程学院,江苏镇江,212013 |
| |
| 基金项目： | 国家自然科学基金，江苏省自然科学基金 |
| |
| 摘 要： | 提出了一种基于安全自动机的信息流实时监控技术,该技术防范了恶意用户通过程序结构的缺陷窃取机密信息.监控机制使用了下推自动机,结合动态分析技术和静态分析技术,利用清除函数的原理,通过状态变换实时检测信息流的安全性.在程序执行期间,对程序事件进行抽象并跟踪信息流,用安全自动机产生的断言控制目标程序的执行,防止非法操作.用C语言实现了安全自动机,实验结果证明这种技术是灵活实用的.
|
| 关 键 词： | 安全系统 实时监控 下推自动机 隐蔽信息流 安全模型 保密性 |
Real-time monitoring and controlling to secure information flow |
| |
| YAN Li,JU Shi-guang,WANG Chang-da.Real-time monitoring and controlling to secure information flow[J].Journal on Communications,2008,29(10):51-57. |
| |
| Authors: | YAN Li JU Shi-guang WANG Chang-da |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 维普 万方数据 等数据库收录！ |
| 点击此处可从《通信学报》浏览原始摘要信息 |
|
点击此处可从《通信学报》下载全文 |
|
