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