A co-authored paper “IoTranx: Transactions for Safer Smart Spaces” written by Chao Chen, Sumi Helal, Zhi Jin, Mingyue Zhang, Choonhwa Lee, has been published by ACM Transactions on Cyber-Physical Systems (https://doi.org/10.1145/3471937).

This work puts forward the concept of IoT transaction processing for the first time. By modeling the smart space as a highly dynamic database, the IoT programming is analogous to database transactions, and the transaction is used as an abstraction of IoT programming and execution services to enable the smart space The equipment scheduling is programmable. Different from the traditional database system, its transaction processing needs to meet the complete correctness. In the equipment scheduling transaction in the smart space, the existence of incomplete transaction processing, the incomplete control of the equipment, and the inability to guarantee the correctness of the equipment operation results are normal. . This work proposes to use atomicity, isolation, integrity, and durability (AI2D) as the behavioral attributes that need to be met when defining the safe operation of IoT transactions, in order to maintain "allowed device scheduling" and avoid "not allowed to set scheduling" . At the same time, using a variant of the lock concept, the lock protocol is introduced to enforce AI2D security properties during transaction processing. The paper also shows a brief proof of the correctness of the protocol and a detailed analysis model to evaluate its performance. Smart spaces (such as smart homes) provide digital services to optimize space usage, provide services, and enhance user experience, but secure equipment scheduling is an important consideration. Poorly programmed applications will not only cause data loss or computer crashes, but also possible Potential physical damage to the space and its users.