机构名称：
¥ 2.0
在本文中，我们演示了如何适应商品审核框架 - 对RTS起作用。使用Linux审核作为案例研究，我们首先证明，商品框架生成的审核事件的数量在实时（RT）应用程序的时间和资源约束中是不可持续的。为了解决这个问题，我们提出了Ellipsis，这是一套基于内核的还原技术，该技术利用了RT应用程序的定期重复性，以积极降低系统级审计的成本。省略号在保留意外活动的详细记录的同时，对RT应用程序的预期活动产生简洁的描述，从而在满足时间限制的同时对可疑活动进行分析。使用Ardupilot（开源自动驾驶应用套件），我们对省略号的评估表明，审计日志生成降低了93％。
实时系统有效审核-NSF-PAR
主要关键词
相关文件推荐
