该文章题为IoTranx: Transactions for Safer Smart Spaces (https://doi.org/10.1145/3471937)，作者为：Chao Chen, Sumi Helal, Zhi Jin, Mingyue Zhang, Choonhwa Lee。这项工作首次提出了物联网事务处理概念，通过将智能空间建模为一个高度动态的数据库，将物联网编程类比到数据库事务，将事务作为物联网编程和执行服务的抽象，使能智能空间的设备调度可编程。不同于传统的数据库系统，其事务处理需要满足完全的正确性，在智能空间中设备调度事务中，事务处理的不完备、设备无法完全控制、设备操作结果正确性无法保证等问题的存在是常态。该工作提出将原子性、隔离性、完整性和持久性（AI2D）作为定义物联网事务安全运行时需要满足的行为属性，以维护“允许的设备调度”，并避免“不允许的设置调度”。同时利用锁概念的变体，引入锁协议，使得在事务处理期间强制执行 AI2D 安全属性。文中还展示了协议正确性的简要证明和详细的分析模型评估其性能。智能空间（例如智能家居）提供数字服务以优化空间使用、提供服务并增强用户体验，但安全的设备调度是一个重要的考量，编程不良的应用程序不仅会使数据丢失或计算机崩溃，还有可能对空间及其用户造成潜在的物理伤害。
