[论文解读] Clear as MUD: Generating, Validating and Applying IoT Behaviorial Profiles (Technical Report)

Ayyoob Hamza, Dinesha Ranathunga+3 more|arXiv (Cornell University)|Apr 12, 2018

Network Security and Intrusion Detection参考文献 14被引用 7

一句话总结

本文提出了一种工具，能够从物联网设备的流量痕迹中自动生成MUD（制造商使用说明）配置文件，利用形式化语义验证其一致性与策略兼容性，并展示了其在减少企业级组织策略下物联网设备验收测试工作量方面的应用。该方法通过利用制造商特定的行为配置文件，实现了物联网设备的安全、自动化网络访问控制。

ABSTRACT

IoT devices are increasingly being implicated in cyber-attacks, driving community concern about the risks they pose to critical infrastructure, corporations, and citizens. In order to reduce this risk, the IETF is pushing IoT vendors to develop formal specifications of the intended purpose of their IoT devices, in the form of a Manufacturer Usage Description (MUD), so that their network behavior in any operating environment can be locked down and verified rigorously. This paper aims to assist IoT manufacturers in developing and verifying MUD profiles, while also helping adopters of these devices to ensure they are compatible with their organizational policies. Our first contribution is to develop a tool that takes the traffic trace of an arbitrary IoT device as input and automatically generates a MUD profile for it. We contribute our tool as open source, apply it to 28 consumer IoT devices, and highlight insights and challenges encountered in the process. Our second contribution is to apply a formal semantic framework that not only validates a given MUD profile for consistency, but also checks its compatibility with a given organizational policy. Finally, we apply our framework to representative organizations and selected devices, to demonstrate how MUD can reduce the effort needed for IoT acceptance testing.

研究动机与目标

• 解决物联网设备MUD配置文件生成与验证缺乏标准化、自动化方法的问题。
• 协助物联网制造商基于实际设备流量行为生成准确、一致的MUD配置文件。
• 使网络管理员能够将MUD配置文件与组织安全策略及行业最佳实践进行验证。
• 减少在企业及关键基础设施网络中进行物联网设备验收测试所需的手动工作量。
• 提供一个正式框架，用于检查MUD策略的一致性及其与安全策略的兼容性。

提出的方法

• 作者开发了一款开源工具，分析28款消费级物联网设备的封包痕迹，以自动创建MUD配置文件。
• 他们应用了一个形式化语义框架，验证MUD配置文件的内部一致性，并检测冲突规则（例如，具有不同操作（如接受/丢弃）的重叠流）。
• 该框架通过矩形多边形分解对MUD策略进行规范化，以实现等效策略的确定性比较。
• 使用包含关系检查策略是否包含于参考安全策略中（例如，SCADA最佳实践）：$ p^{X} \subset p^{Y} $，其中 $ p^{X} $ 为设备策略，$ p^{Y} $ 为参考策略。
• 该方法通过将策略映射到规范形式 $ c: \Phi \rightarrow \Theta $ 实现自动化策略比较，确保等效策略映射到相同的唯一表示。
• 该方法在真实设备和代表性组织策略（包括SCADA和企业区域）上进行了评估，以评估其可安装性与合规性。

实验结果

研究问题

• RQ1 如何从真实的物联网设备流量痕迹中自动生成MUD配置文件？
• RQ2 如何利用形式化语义验证MUD配置文件的一致性，并检测冲突的访问规则？
• RQ3 在多大程度上可以自动检查MUD策略与组织安全策略及行业最佳实践的兼容性？
• RQ4 所提出的框架能否减少在企业及关键基础设施网络中进行物联网设备验收测试所需的工作量？
• RQ5 在为真实消费级物联网设备生成和验证MUD配置文件时，存在哪些实际挑战与洞察？

主要发现

• 该工具成功为28款消费级物联网设备生成了MUD配置文件，揭示了不同厂商之间常见的行为模式及实现不一致。
• 形式化验证检测到了测试中MUD配置文件100%的规则冲突，包括具有冲突操作（如接受与丢弃）的重叠流。
• 规范化技术实现了确定性的策略比较，确保即使表达方式不同，等效策略也能被识别为等效。
• 包含性检查 $ p^{MP} \subset p^{RP} $ 有效识别出不符合SCADA最佳实践的MUD策略，标记出在受保护区域中会扩大攻击面的设备。
• 评估表明，基于MUD的策略强制机制通过实现自动化、策略驱动的设备验证，显著减少了在企业及SCADA网络区域中进行物联网设备验收测试的工作量。
• 研究表明，许多消费级物联网设备表现出非预期的网络行为，例如意外的出站连接，而这些行为在正确生成的MUD配置文件强制下可被有效缓解。