Page 86 - 《软件学报》2021年第12期

3750 Journal of Software 软件学报 Vol.32, No.12, December 2021

[29] Davidoff S, Lee MK, Yiu C, et al. Principles of smart home control. LNCS (including subseries Lecture Notes in Artificial
Intelligence and Lecture Notes in Bioinformatics), 2006,4206:19−34. [doi: 10.1007/11853565_2]
[30] Celik ZB, McDaniel P, Tan G. Soteria: Automated iot safety and security analysis. In: Proc. of the USENIX Annual Technical Conf.
Boston: USENIX Association, 2018. 147−158.
[31] Celik ZB, McDaniel P, Tan G, et al. Verifying Internet of things safety and security in physical spaces. IEEE Security Privacy,
2019,17(5):30−37. [doi: 10.1109/MSEC.2019.2911511]
[32] Xiao D, Wang QY, Cai M, et al. Research on implicit interference detection based on knowledge graph in smart home automation.
Chinese Journal of Computers, 2019,42(6):1190−1204 (in Chinese with English abstract).
[33] Meng Y, Li SF, Zhang YC, et al. Cyber physical system security of smart home. Journal of Computer Research and Development,
2019,56(11):2349 (in Chinese with English abstract). [doi: 10.7544/issn1000-1239.2019.20190412]
[34] Chen X, Huang ZM, Ye XS, et al. Approach to modeling and executing context-aware services of smart home at runtime. Ruan Jian
Xue Bao/Journal of Software, 2019,30(11):3297−3312 (in Chinese with English abstract). http://www.jos.org.cn/1000-9825/5802.
htm [doi: 10.13328/j.cnki.jos.005802]

附中文参考文献:
[2] 艾瑞咨询公司.2018 年中国智能家居行业研究报告.2018. http://report.iresearch.cn/report/201808/3256.shtml
[32] 肖丁,王乾宇,蔡铭,等.智能家居场景联动中基于知识图谱的隐式冲突检测方法研究.计算机学报,2019,42(6):1190−1204.
[33] 孟岩,李少锋,张亦弛,等.面向智能家居平台的信息物理融合系统安全.计算机研究与发展,2019,56(11):2349. [doi: 10.7544/issn
1000-1239.2019.20190412]
[34] 陈星,黄志明,叶心舒,等.智能家居情境感知服务的运行时建模与执行方法.软件学报,2019,30(11):3297−3312. http://www.jos.
org.cn/1000-9825/5802.htm [doi: 10.13328/j.cnki.jos.005802]

王博(1997－),男,学士,主要研究领域为物 耿佳宁(1997－),女,硕士生,主要研究领域
联网,智能家居. 为物联网安全.

张昱(1972－),女,博士,副教授,CCF 杰出 李向阳(1971－),男,博士,教授,博士生导
会员,主要研究领域为面向新领域的编程 师,CCF 专业会员,主要研究领域为移动计
框架与系统优化,软件分析与软件安全,量 算,无源网络,智能感知,物联网,安全隐私,
子软件. 数据共享和交易.