张立强，陈青松，严 飞

(武汉大学 国家网络安全学院 空天信息安全与可信计算教育部重点实验室 湖北 武汉 430072)

0 引言

物联网是一种人、机、物广泛互联的实体系统，通过智能感知、识别技术与普适计算、泛在网络的融合应用，对物理世界进行智能化识别和管理[1]。物联网技术的高速发展改善了个人和公共生活的诸多方面，其应用范围涵盖智能家居、病人监护、工业自动化、智慧交通和基础设施监控等。Gartner调查报告表明，2018年全球已有91亿物联网设备投入使用(复合增长率20.9%)，预计2025年联网数量将达到251亿[2]。由于物联网平台通常建立在数据采集处理的基础上，而物联网设备直接暴露于互联网，易于遭受网络攻击[3]，因此，用户隐私遭受着较大的泄露风险。

为了保护物联网设备的数据安全，通常采用密码技术[4]和访问控制技术[5]这两种方案。密码技术主要通过数据加密和数字签名来保护数据的机密性和完整性；访问控制则是以授权策略为核心，防止主体对客体的未授权访问和使用。传统访问控制模型包括自主访问控制(discretionary access control, DAC)和强制访问控制(mandatory access control, MAC)。DAC利用访问控制列表和能力系统等，允许数据所有者修改对数据的访问权限，其安全检查容易被绕过；MAC则依赖于在硬件层面或者系统层面实施的一组安全策略，基于主体和客体的安全标签限制主体对客体的访问能力。

分散式信息流控制(decentralized information flow control, DIFC)属于MAC模型，最早由Myers等于1997年提出[6]，现有研究工作主要集中在对该模型的应用和实现上。……