10、物联网语义网动态安全测试与科幻本体建模

物联网语义网动态安全测试与科幻本体建模

物联网语义网动态安全测试

在物联网语义网的安全领域，动态安全测试技术至关重要。动态应用安全测试（DAST）在保障Web应用程序安全方面发挥着关键作用。

污点模式模型

DAST测试中，污点模式模型是一种常用的方法。该模型基于一些假设，如认为来自HTTP请求的所有数据都是受污染的，不可信任；而Web应用程序的本地数据是可信的，未受污染；并且在构建HTTP响应时不会使用受污染的数据。任何违反这些规则或策略的情况，在Web应用程序的动态分析中都被视为模型的违反或存在潜在漏洞。

然而，传统的污点模式模型存在一些弱点：
1. 一次性净化问题 ：对数据进行一次净化后就移除污点标记，例如用于创建HTTP响应的数据集被视为未受污染，但在创建特定SQL查询时可能仍然存在风险。
2. 分支语句处理问题 ：无法处理受污染数据通过分支语句的情况，而分支语句会影响未来的执行范围。
3. 净化机制故障问题 ：没有应对净化机制损坏或运行不正常的机制。
4. 本地数据信任问题 ：假设本地保存的任何数据都是可信的，这可能导致外部数据无法安全地保存在本地存储中。

为了解决这些问题，一些研究提出了扩展的污点模式模型。例如，Petukhov和Kozlov（2008b）的论文中展示了一种扩展的污点模式模型，通过为每种净化行为提供额外的类集，并在Web应用程序的关键操作之前将输入映射到每种净化类，解决了一次性净化的问题。该方法将扩展的污点模型与动态分析和