物联网安全：使用DSL抵御假数据注入攻击

"该文档是一位名为马修·B·里兰德的博士生在工程与微技术科学、计算机科学领域完成的博士学位论文，主要探讨了如何使用域特定语言（DOCT或AT）来应对物联网系统中的假数据注入攻击问题。这篇论文是在2021年5月28日在贝桑松的一次会议上进行评审的，评审团包括多位大学教授和Flowbird集团的代表。作者表达了对导师、同事、家人以及支持他的人的感激之情，并概述了论文的主要内容和贡献。 物联网网络安全是当前的重要议题，随着物联网设备的普及，其安全问题日益凸显。假数据注入攻击（False Data Injection Attack, FDIA）是这类威胁的一种，它通过向系统注入虚假的传感器数据来干扰系统的正常运行，可能导致严重的后果。论文的核心是提出使用DOCT或AT这样的域特定语言来解决这种攻击。 1.1 动机：论文的动机在于解决物联网系统面临的安全挑战，尤其是FDIA，因为这些攻击可以破坏系统的可靠性和安全性，对工业环境造成巨大影响。 1.2 物联网网络安全：物联网系统依赖于大量传感器的数据交换，这些系统可能容易受到各种网络攻击，包括FDIA。因此，需要有效的防护措施来确保数据的真实性和系统的稳定性。 1.3 研究问题：论文聚焦于如何设计和应用域特定语言来检测和防止假数据注入，以及如何提高物联网系统的整体安全性。 1.4 论文贡献： - 1.4.1 方法定义：论文提出了新的方法来应对FDIA挑战，可能涉及利用DOCT或AT语言特性来增强数据验证和异常检测机制。 - 1.4.2 传感器和数据分类：作者可能探讨了如何对传感器数据进行分类和分析，以便更有效地识别潜在的虚假数据并采取相应对策。 论文可能详细介绍了这些方法的实现、性能评估以及在实际物联网环境中的应用示例，旨在为物联网安全提供一种新的、定制化的解决方案。通过使用域特定语言，论文可能强调了如何提高代码的可读性、可维护性和安全性，从而更好地防御针对物联网系统的假数据注入攻击。