Linux进程语义安全性检测的稳定模型

• 作者: 梁意文 董红斌 谭成予
• 来源期刊: 计算机工程与应用
• 学科: 工学
• 关键词: 信息安全 稳定模型 进程检测 系统调用
• 年，卷（期）: 2005,（10）
• 所属期刊栏目: 博士论坛
• 页码范围: 15-18
• 页数: 4页
• 分类号: TP3
• 字数: 5588字
• 语种: 中文
• DOI: 10.3321/j.issn:1002-8331.2005.10.005

摘要

现有进程检测方法,检测的目标是系统调用的序列的排列关联,忽略了语义中潜在的异常.稳定模型是逻辑程序的语义模型,可以用以发现并修改逻辑程序的异常问题.该文以系统调用为基本检测点,采用逻辑程序描述进程的基本语义逻辑,用稳定模型表达进程的检测语义.系统定义进程的一系列安全语义规则,在进程执行中,计算安全语义规则与进程逻辑之间的稳定模型,得到安全语义的可计算性结论.论文最后,给出了一个Linux系统中的进程语义安全性检测的基本框架.