浏览全部资源
扫码关注微信
江苏大学计算机科学与通信工程学院
纸质出版日期:2008
移动端阅览
[1]晏立,鞠时光,王昌达.安全信息流的实时监控机制[J].通信学报,2008(10):51-57.
[1]晏立,鞠时光,王昌达.安全信息流的实时监控机制[J].通信学报,2008(10):51-57. DOI:
DOI:
提出了一种基于安全自动机的信息流实时监控技术
该技术防范了恶意用户通过程序结构的缺陷窃取机密信息。监控机制使用了下推自动机
结合动态分析技术和静态分析技术
利用清除函数的原理
通过状态变换实时检测信息流的安全性。在程序执行期间
对程序事件进行抽象并跟踪信息流
用安全自动机产生的断言控制目标程序的执行
防止非法操作。用C语言实现了安全自动机
实验结果证明这种技术是灵活实用的。
0
浏览量
184
下载量
2
CSCD
关联资源
相关文章
相关作者
相关机构