.png){kind=icon}
返回
LTL Model Checking of Concurrent Self Modifying Code
.png){kind=icon}
PRE
AI
DOI：10.1007/978-3-032-00828-2_17.png)
.png){kind=icon}
原文求助.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
我们考虑并发自修改代码的LTL模型检测问题，即具有在执行期间修改自身指令能力的并发代码。这种代码风格常被恶意软件开发者用来使其恶意代码难以检测。为建模此类程序，我们考虑自修改动态下推网络（SM-DPN）。SM-DPN是自修改下推进程的网络，其中每个进程能够在执行期间修改其当前规则集并生成新进程。我们考虑对SM-DPN进行单索引LTL公式的模型检测，即每个单进程上独立LTL公式的合取。该问题非平凡，因为给定运行中生成的进程数量可能是无限的。我们的方法基于计算有限自动机，表示从其中SM-DPN存在满足单索引LTL公式的运行的配置集。我们已在工具中实现这些技术并获得了有希望的结果。特别是，我们的工具能够检测并发自修改恶意软件。
Keyword:
LTL model checking
self-modifying code
concurrent programs
pushdown networks
malware detection
期刊
E
IF:
0
论文数:
26
被引数:
0
.png){kind=icon}
查看更多内容