面向网络安全与安全测试的形状验证
密码学与安全
2025-06-17 v1
摘要
网络系统的日益复杂导致攻击面扩大，被恶意行为者利用的风险增加，通过配置错误导致故障的风险也随之上升。我们提出一种声明性方法来描述网络系统，并自动评估安全与安全控制。我们利用语义网技术作为一种经过严格标准化的框架，提供语言来指定本体、规则和形状约束。我们通过组合外部本体、架构和数据模型的本体来建模基础设施，以获得足够的表达性和与外部系统的互操作性。该本体可以通过在 SPARQL 中定义的规则自行丰富，从而推理出未明确声明的知识。通过对 SHACL 形状约束的求值，我们可以验证数据并验证安全与安全约束。我们演示了此概念的两个用例，说明了该解决方案如何能够以社区驱动的方式进一步发展。
引用
@article{arxiv.2506.12466,
title = {Towards Safety and Security Testing of Cyberphysical Power Systems by Shape Validation},
author = {Alexander Geiger and Immanuel Hacker and Ömer Sen and Andreas Ulbig},
journal= {arXiv preprint arXiv:2506.12466},
year = {2025}
}
备注
Accepted to 2025 IEEE International Conference on Cyber Security and Resilience (CSR)